skip to main content
Refinado por: Nome da Publicação: Lecture Notes in Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A 2-Stage Partial Distortion Search Algorithm for Block Motion Estimation
Material Type:
Artigo
Adicionar ao Meu Espaço

A 2-Stage Partial Distortion Search Algorithm for Block Motion Estimation

Yu, R. ; Lim, K. P. ; Wu, D. ; Pan, F. ; Li, Z. G. ; Feng, G. ; Wu, S. Chen, Yung-Chang ; Hsu, Chiou-Ting ; Chang, Long-Wen

Advances in Multimedia Information Processing — PCM 2002, 2002, p.127-134 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

2
A 3D Finite Element Model of the Face for Simulation in Plastic and Maxillo-Facial Surgery
Material Type:
Artigo
Adicionar ao Meu Espaço

A 3D Finite Element Model of the Face for Simulation in Plastic and Maxillo-Facial Surgery

Chabanas, 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 Heidelberg

Texto completo disponível

3
Abstract Interpretation
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstract Interpretation

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.167-189 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

4
Abstract Interpretation Based Semantics of Sequent Calculi
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstract Interpretation Based Semantics of Sequent Calculi

Amato, Gianluca ; Levi, Giorgio Palsberg, Jens

Lecture notes in computer science, 2000, p.38-57 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

5
Abstraction of Communication Channels in Promela: A Case Study
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstraction of Communication Channels in Promela: A Case Study

Fersman, Elena ; Jonsson, Bengt Visser, Willem ; Havelund, Klaus ; Penix, John

Lecture notes in computer science, 2000, p.187-204 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
Accelerating the CKY Parsing Using FPGAs
Material Type:
Artigo
Adicionar ao Meu Espaço

Accelerating the CKY Parsing Using FPGAs

Bordim, 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 Heidelberg

Texto completo disponível

7
Acceptance testing vs. unit testing: A developer's perspective
Material Type:
Artigo
Adicionar ao Meu Espaço

Acceptance testing vs. unit testing: A developer's perspective

ROGERS, R. Owen

Lecture notes in computer science, 2004, p.22-31 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

8
Access control scheme based on preemption for integrated video/data CDMA systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Access control scheme based on preemption for integrated video/data CDMA systems

JAE WOO SO ; DONG HO CHO

Lecture notes in computer science, 2003, p.183-193 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

9
Achieving ISO 9001 Certification for an XP Company
Material Type:
Artigo
Adicionar ao Meu Espaço

Achieving ISO 9001 Certification for an XP Company

Wright, Graham Maurer, Frank ; Wells, Don

Extreme Programming and Agile Methods - XP/Agile Universe 2003, 2003, p.43-50 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

10
Activation on the Move: Querying Tourism Information via Spreading Activation
Material Type:
Artigo
Adicionar ao Meu Espaço

Activation on the Move: Querying Tourism Information via Spreading Activation

Berger, Helmut ; Dittenbach, Michael ; Merkl, Dieter Mařík, Vladimír ; Štěpánková, Olga ; Retschitzegger, Werner

Database and Expert Systems Applications, 2003, p.474-483 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (817)
  2. Livros  (1)
  3. Mais opções open sub menu

Idioma 

  1. Japonês  (50)
  2. Russo  (1)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.