Sciweavers

448 search results - page 39 / 90
» Abstraction in Predictive State Representations
Sort
View
ICDM
2009
IEEE
138views Data Mining» more  ICDM 2009»
14 years 7 months ago
Semantic-Rich Markov Models for Web Prefetching
Abstract--Domain knowledge for web applications is currently being made available as domain ontology with the advent of the semantic web, in which semantics govern relationships am...
Nizar R. Mabroukeh, Christie I. Ezeife
CAV
1993
Springer
127views Hardware» more  CAV 1993»
15 years 1 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
CAV
2004
Springer
108views Hardware» more  CAV 2004»
15 years 1 months ago
Functional Dependency for Verification Reduction
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
Jie-Hong Roland Jiang, Robert K. Brayton
ECAI
2008
Springer
14 years 11 months ago
Reinforcement Learning with the Use of Costly Features
In many practical reinforcement learning problems, the state space is too large to permit an exact representation of the value function, much less the time required to compute it. ...
Robby Goetschalckx, Scott Sanner, Kurt Driessens
TIP
2008
86views more  TIP 2008»
14 years 9 months ago
Learning the Dynamics and Time-Recursive Boundary Detection of Deformable Objects
We propose a principled framework for recursively segmenting deformable objects across a sequence of frames. We demonstrate the usefulness of this method on left ventricular segmen...
Walter Sun, Müjdat Çetin, Raymond C. C...