295 search results - page 42 / 59 » Simultaneous Quantifier Elimination |
PDPTA
2004
13 years 10 months ago
2004
Telepresent Agents are software Agents that are instantiated simultaneously within two or more distinct computer applications (called Locales) which are operating at distinct nodes...
CAD
2008
Springer
13 years 8 months ago
2008
Springer
This paper presents a new method for evaluating boolean set operations between Binary Space Partition (BSP) trees. Our algorithm has many desirable features including both numeric...
GRID
2006
Springer
13 years 8 months ago
2006
Springer
Existing data grid scheduling systems handle huge data I/O via replica location services coupled with simple staging, decoupled from scheduling of computing tasks. However, when th...
RAS
2010
13 years 7 months ago
2010
This paper describes a novel registration approach that is based on a combination of visual and 3D range information. To identify correspondences, local visual features obtained f...
ICML
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper proposes a new method for comparing clusterings both partitionally and geometrically. Our approach is motivated by the following observation: the vast majority of previ...