4117 search results - page 669 / 824 » On the Satisfiability of Complex Constraints |
182
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
— We explore an online problem where a group of robots has to find a target whose position is unknown in an unknown planar environment whose geometry is acquired by the robots d...
169
click to vote
SYNASC
2006
IEEE
16 years 17 days ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
156
click to vote
PLDI
2006
ACM
16 years 16 days ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
160
click to vote
GROUP
2005
ACM
16 years 4 days ago
2005
ACM
Recent proliferation of computing devices has brought attention to heterogeneous collaborative systems, where key challenges arise from the resource limitations and disparities. S...
174
click to vote
ESOP
2005
Springer
16 years 3 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...