3856 search results - page 94 / 772 » Models for Automated Earthmoving |
138
click to vote
AAAI
2007
15 years 7 months ago
2007
This paper introduces an innovative approach for automated negotiating using the gender of human opponents. Our approach segments the information acquired from previous opponents,...
136
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Scoring rules are a broad and concisely-representable class of voting rules which includes, for example, Plurality and Borda. Our main result asserts that the class of scoring rul...
158
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We consider the problem of allocating networked resources in dynamic environment, such as cloud computing platforms, where providers strategically price resources to maximize thei...
145
click to vote
BELL
2000
15 years 4 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
166
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
—Robotic surgical assistants are enhancing physician performance, enabling physicians to perform more delicate and precise minimally invasive surgery. However, these devices are ...