Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A 2-Stage Partial Distortion Search Algorithm for Block Motion EstimationYu, R. ; Lim, K. P. ; Wu, D. ; Pan, F. ; Li, Z. G. ; Feng, G. ; Wu, S. Chen, Yung-Chang ; Hsu, Chiou-Ting ; Chang, Long-WenAdvances in Multimedia Information Processing — PCM 2002, 2002, p.127-134 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Artigo
|
A 3D Finite Element Model of the Face for Simulation in Plastic and Maxillo-Facial SurgeryChabanas, Matthieu ; Payan, Yohan Delp, Scott L. ; Jaramaz, Branislav ; DiGoia, Anthony M.Medical Image Computing and Computer-Assisted Intervention – MICCAI 2000, p.1068-1075 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Artigo
|
Abstract InterpretationWasser, Nathan ; Hähnle, Reiner ; Bubel, Richard Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, MattiasDeductive Software Verification – The KeY Book, 2016-12, p.167-189 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
4 |
Material Type: Artigo
|
Abstract Interpretation Based Semantics of Sequent CalculiAmato, Gianluca ; Levi, Giorgio Palsberg, JensLecture notes in computer science, 2000, p.38-57 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
5 |
Material Type: Artigo
|
Abstraction of Communication Channels in Promela: A Case StudyFersman, Elena ; Jonsson, Bengt Visser, Willem ; Havelund, Klaus ; Penix, JohnLecture notes in computer science, 2000, p.187-204 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Artigo
|
Accelerating the CKY Parsing Using FPGAsBordim, Jacir L. ; Ito, Yasuaki ; Nakano, Koji Shukla, Uday ; Sahni, Sartaj ; Prasanna, Viktor K.High Performance Computing — HiPC 2002, 2002, p.41-51 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Artigo
|
Acceptance testing vs. unit testing: A developer's perspectiveROGERS, R. OwenLecture notes in computer science, 2004, p.22-31 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
8 |
Material Type: Artigo
|
Access control scheme based on preemption for integrated video/data CDMA systemsJAE WOO SO ; DONG HO CHOLecture notes in computer science, 2003, p.183-193 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
9 |
Material Type: Artigo
|
Achieving ISO 9001 Certification for an XP CompanyWright, Graham Maurer, Frank ; Wells, DonExtreme Programming and Agile Methods - XP/Agile Universe 2003, 2003, p.43-50 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Artigo
|
Activation on the Move: Querying Tourism Information via Spreading ActivationBerger, Helmut ; Dittenbach, Michael ; Merkl, Dieter Mařík, Vladimír ; Štěpánková, Olga ; Retschitzegger, WernerDatabase and Expert Systems Applications, 2003, p.474-483 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |