8413 search results - page 1375 / 1683 » Ordering Problem Subgoals |
162
Voted
AAAI
2006
15 years 6 months ago
2006
We present a new efficient algorithm for obtaining utilitarian optimal solutions to Disjunctive Temporal Problems with Preferences (DTPPs). The previous state-of-the-art system ac...
129
click to vote
APVIS
2004
15 years 6 months ago
2004
Skeletal animation is a concept that has been used in the areas of motion pictures and computer games to create realistic motion for the animation of articulated characters. Recen...
132
click to vote
CISST
2004
15 years 6 months ago
2004
We propose an interactive system for identifying flags in photos taken from natural scenes. The system is interactive in two respects. First, because segmentation can be a difficu...
133
click to vote
CLIMA
2004
15 years 6 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
183
Voted
CLIMA
2006
15 years 6 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...