Sciweavers

21984 search results - page 530 / 4397
» C
Sort
View
WSCG
2004
116views more  WSCG 2004»
15 years 8 months ago
Non Conventional 3D Human Face Verification System
Antonio C. Zimmermann, L. S. Encinas, Jorge Muniz ...
SPLST
2003
15 years 8 months ago
On Typechecking B
Abstract. The typechecking system of the formal method B is discussed. An inconsistency in the public definition of the B method, attributable to a flaw in the typechecking syste...
Antti-Juhani Kaijanaho
DELOS
2000
15 years 8 months ago
The IIT Intranet Mediator: An Overview
David A. Grossman, Steven M. Beitzel, Eric C. Jens...