Sciweavers

5599 search results - page 481 / 1120
» Abstract State Services
Sort
View
PKDD
2009
Springer
155views Data Mining» more  PKDD 2009»
16 years 1 months ago
Dynamic Factor Graphs for Time Series Modeling
Abstract. This article presents a method for training Dynamic Factor Graphs (DFG) with continuous latent state variables. A DFG includes factors modeling joint probabilities betwee...
Piotr W. Mirowski, Yann LeCun
AIMSA
2008
Springer
16 years 1 months ago
A Social and Emotional Model for Obtaining Believable Emergent Behaviors
Abstract This paper attempts to define an emotional model for virtual agents that behave autonomously in social worlds. We adopt shallow modeling based on the decomposition of the...
Javier Asensio, Marta Jiménez, Susana Fern&...
ACII
2007
Springer
16 years 1 months ago
What Should a Generic Emotion Markup Language Be Able to Represent?
Abstract. Working with emotion-related states in technological contexts requires a standard representation format. Based on that premise, the W3C Emotion Incubator group was create...
Marc Schröder, Laurence Devillers, Kostas Kar...
ATVA
2007
Springer
108views Hardware» more  ATVA 2007»
16 years 1 months ago
A New Approach to Bounded Model Checking for Branching Time Logics
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
Rotem Oshman, Orna Grumberg
ECAL
2007
Springer
16 years 1 months ago
A Computational System for Investigating Chemotaxis-Based Cell Aggregation
Abstract. We have developed a software system that simulates chemotaxis-based cell aggregation in 2D. The model implemented within the system consists of such cell behaviors as che...
Manolya Eyiyurekli, Peter I. Lelkes, David E. Bree...