662 search results - page 126 / 133 » Formalizing Basic First Order Model Theory |
BC
2004
13 years 7 months ago
2004
Antennae are the main organs of the arthropod tactile sense. In contrast to other senses that are capable of retrieving spatial information, e.g. vision, spatial sampling of tactil...
SIGMETRICS
2005
ACM
14 years 1 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
EMSOFT
2004
Springer
14 years 26 days ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
In this paper we address the problem of aligning 3-D data with articulated shapes. This problem resides at the core of many motion tracking methods with applications in human motio...
INFORMS
1998
13 years 7 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...