293 search results - page 27 / 59 » Identifying the Multiple Contexts of a Situation |
166
click to vote
FIW
2003
15 years 7 months ago
2003
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
320
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
162
click to vote
FLAIRS
2006
15 years 7 months ago
2006
This paper considers a robot with multiple sensors navigating an unknown, heterogeneous environment. In these cases sensor errors may produce an unsuitable model of the world. For...
138
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
We present an unusual algorithm involving classification trees-CARTwheels--where two trees are grown in opposite directions so that they are joined at their leaves. This approach ...
160
click to vote
AMEC
2004
Springer
15 years 11 months ago
2004
Springer
Negotiations are an important way of reaching agreements between selfish autonomous agents. In this paper we focus on one-to-many bargaining within the context of agent-mediated e...