3552 search results - page 615 / 711 » Proof theory in the abstract |
156
click to vote
IVA
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Virtual humans are employed in many interactive applications, including (serious) games. Their motion should be natural and allow interaction with its surroundings and ot...
173
click to vote
LPNMR
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
184
click to vote
MIDDLEWARE
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Middleware for pervasive spaces has to meet conflicting requirements. It has to both maximize the utility of the information exposed and ensure that this information doe...
144
click to vote
OOPSLA
2009
Springer
16 years 28 days ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
178
click to vote
PKDD
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Feature selection in reinforcement learning (RL), i.e. choosing basis functions such that useful approximations of the unkown value function can be obtained, is one of th...