3047 search results - page 508 / 610 » On the Meaning of Logical Completeness |
ECRTS
2008
IEEE
15 years 4 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
AMFG
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract. This paper describes a model-assisted system for reconstruction of 3D faces from a single consumer quality camera using a structure from motion approach. Typical multi-vi...
FOCS
2007
IEEE
15 years 4 months ago
2007
IEEE
We introduce a new primitive called Intrusion-Resilient Secret Sharing (IRSS), whose security proof exploits the fact that there exist functions which can be efficiently computed ...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
Keywords Name of the disease and synonyms Definition/Diagnostic criteria Juvenile form Comments on the differential diagnosis Incidence Clinical description Method of biological d...