2969 search results - page 219 / 594 » A space efficient algorithm for group structure computation |
140
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
A helicopter agent has to plan trajectories to track multiple ground targets from the air. The agent has partial information of each target's pose, and must reason about its u...
138
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
144
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...
142
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
143
click to vote
DIALM
2004
ACM
15 years 7 months ago
2004
ACM
The wireless connectivity, essential for pervasive computing, has ephemeral character and can be used for creating ad hoc networks, sensor networks, connection with RFID tags etc....