5600 search results - page 776 / 1120 » Synthesizing robust systems |
128
click to vote
AAAI
1990
15 years 8 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
182
click to vote
AAAI
1992
15 years 8 months ago
1992
This paper describes a series of experiments that were performed on the Rocky III robot.1 Rocky III is a small autonomous rover capable of navigating through rough outdoor terrain...
157
click to vote
ALENEX
2009
15 years 7 months ago
2009
In this paper we present an experimental study of several maximum flow algorithms in the context of unbalanced bipartite networks. Our experiments are motivated by a real world pr...
174
click to vote
BILDMED
2009
15 years 7 months ago
2009
Endoscopic screening of the colon (colonoscopy) is performed to prevent cancer and to support therapy. During intervention colon polyps are located, inspected and, if need be, remo...
192
click to vote
ICCCN
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, a novel feature selection algorithm for object tracking is proposed. This algorithm performs more robust than the previous works by taking the correlation between f...