Sciweavers

4127 search results - page 244 / 826
» Evaluation methods for topic models
Sort
View
TACAS
2009
Springer
132views Algorithms» more  TACAS 2009»
16 years 17 days ago
Transition-Based Directed Model Checking
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
Martin Wehrle, Sebastian Kupferschmid, Andreas Pod...
CORR
2010
Springer
151views Education» more  CORR 2010»
15 years 5 months ago
The Challenge of Believability in Video Games: Definitions, Agents Models and Imitation Learning
In this paper, we address the problem of creating believable agents (virtual characters) in video games. We consider only one meaning of believability, "giving the feeling of...
Fabien Tencé, Cédric Buche, Pierre D...
CORR
1999
Springer
79views Education» more  CORR 1999»
15 years 5 months ago
Cascaded Markov Models
This paper presents a new approach to partial parsing of context-free structures. The approach is based on Markov Models. Each layer of the resulting structure is represented by i...
Thorsten Brants
IJCAI
2003
15 years 7 months ago
Constructing utility models from observed negotiation actions
We propose a novel method for constructing utility models by learning from observed negotiation actions. In particular, we show how offers and counter-offers in negotiation can be...
Angelo C. Restificar, Peter Haddawy
IJCV
2007
210views more  IJCV 2007»
15 years 5 months ago
A Behavioral Analysis of Computational Models of Visual Attention
Robots often incorporate computational models of visual attention to streamline processing. Even though the number of visual attention systems employed on robots has increased dram...
Frederick Shic, Brian Scassellati