1176 search results - page 104 / 236 » Implicit Abstraction Heuristics |
170
click to vote
ICNP
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract—Radio frequency identification (RFID) is a technology where a reader device can “sense” the presence of a closeby object by reading a tag device attached to the obj...
138
click to vote
ICRA
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract— In this paper, we describe a method for coordinating multiple robots in a pursuit-evasion domain. We examine the problem of multiple robotic pursuers attempting to loca...
163
click to vote
AGTIVE
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
145
click to vote
APN
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
150
click to vote
WEA
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. The continuous growth of the routing tables sizes in backbone routers is one of the most compelling scaling problems affecting the Internet and has originated considerab...