6167 search results - page 1079 / 1234 » Can Refinement be Automated |
126
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
118
click to vote
ECSQARU
2007
Springer
15 years 9 months ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...
149
click to vote
RWEB
2007
Springer
15 years 9 months ago
2007
Springer
Today customers want to use powerful search engines for their huge and increasing content repositories. Full-text-only products with simple result lists are not enough to satisfy t...
160
click to vote
ANSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Anomaly detection systems largely depend on user profile data to be able to detect deviation from normal activity. Most of this profile data is based on commands executed by use...
132
Voted
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper we predict the amount of slip an exploration rover would experience using stereo imagery by learning from previous examples of traversing similar terrain. To do t...