3758 search results - page 297 / 752 » A Complete Subsumption Algorithm |
167
click to vote
SAINT
2005
IEEE
16 years 5 days ago
2005
IEEE
New application scenarios, such as Internet-scale computations, nomadic networks and mobile systems, require decentralized, scalable and open infrastructures. The peerto-peer (P2P...
153
click to vote
APPROX
2005
Springer
16 years 5 days ago
2005
Springer
We study the approximability of 1-in-kSAT, the variant of Max kSAT where a clause is deemed satisfied when precisely one of its literals is satisfied. We also investigate differ...
153
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
This paper introduces a multi-robot cooperation approach to solve the pursuit evasion problem for mobile robots that have omnidirectional vision sensors in unknown environments. T...
156
click to vote
ISAAC
2005
Springer
16 years 3 days ago
2005
Springer
We explore the complexity of computing tilings of orthogonal polygons using colored dominoes. A colored domino is a rotatable 2 × 1 rectangle that is partitioned into two unit squ...
169
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...