Sciweavers

1974 search results - page 144 / 395
» Conditional Purchase Orders
Sort
View
ICPR
2004
IEEE
16 years 5 months ago
Illumination and Expression Invariant Face Recognition with One Sample Image
Most face recognition approaches either assume constant lighting condition or standard facial expressions, thus cannot deal with both kinds of variations simultaneously. This prob...
Brian C. Lovell, Shaokang Chen
MICCAI
2007
Springer
16 years 5 months ago
Modelling Intravasation of Liquid Distension Media in Surgical Simulators
We simulate the intravasation of liquid distention media into the systemic circulation as it occurs during hysteroscopy and transurethral resection of the prostate. A linear networ...
Stefan Tuchschmid, Michael Bajka, Dominik Szczerba...
119
Voted
SPAA
2009
ACM
16 years 5 months ago
Inherent limitations on disjoint-access parallel implementations of transactional memory
Transactional memory (TM) is a promising approach for designing concurrent data structures, and it is essential to develop better understanding of the formal properties that can b...
Hagit Attiya, Eshcar Hillel, Alessia Milani
CADE
2007
Springer
16 years 4 months ago
Barendregt's Variable Convention in Rule Inductions
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
Christian Urban, Stefan Berghofer, Michael Norrish
VLDB
2007
ACM
108views Database» more  VLDB 2007»
16 years 4 months ago
Update Exchange with Mappings and Provenance
We consider systems for data sharing among heterogeneous peers related by a network of schema mappings. Each peer has a locally controlled and edited database instance, but wants ...
Todd J. Green, Grigoris Karvounarakis, Zachary G. ...