1921 search results - page 377 / 385 » Stereo Without Search |
153
Voted
ICTAC
2009
Springer
15 years 1 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
163
Voted
ICTAI
2009
IEEE
15 years 1 months ago
2009
IEEE
We propose a new method for solving structured CSPs which generalizes and improves the Cyclic-Clustering approach [4]. First, the cutset and the tree-decomposition of the constrai...
157
click to vote
ICWSM
2009
15 years 1 months ago
2009
Hearing people argue opposing sides of an issue can be a useful way to understand the topic; however, these debates or conversations often don't exist. Unfortunately, generat...
165
click to vote
IJRR
2010
15 years 20 days ago
2010
The MAV '08 competition focused on the problem of using air and ground vehicles to locate and rescue hostages being held in a remote building. To execute this mission, a numbe...
148
Voted
SIAMAM
2011
14 years 10 months ago
2011
Trace gas sensors that are compact and portable are being deployed for use in a variety of applications including disease diagnosis via breath analysis, monitoring of atmospheric p...