3363 search results - page 104 / 673 » Neurobiology of decision making |
ICML
2007
IEEE
14 years 9 months ago
2007
IEEE
Markov decision processes are an effective tool in modeling decision-making in uncertain dynamic environments. Since the parameters of these models are typically estimated from da...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
SCA
2007
13 years 11 months ago
2007
We introduce a framework for advanced behavioral animation in virtual humans, which addresses the challenging open problem of simulating social interactions between pedestrians in...
SG
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we tackle the main problem presented by the majority of Information Visualization techniques, that is, the limited number of data items that can be visualized simulta...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. I...