Sciweavers

605 search results - page 71 / 121
» Probabilistic state space search
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
14 years 24 days ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
AAAI
2004
13 years 10 months ago
A General Solution to the Graph History Interaction Problem
Since the state space of most games is a directed graph, many game-playing systems detect repeated positions with a transposition table. This approach can reduce search effort by ...
Akihiro Kishimoto, Martin Müller 0003
PACT
2005
Springer
14 years 2 months ago
Optimal Behavior of a Moving Creature in the Cellular Automata Model
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
Mathias Halbach, Rolf Hoffmann
WWW
2008
ACM
14 years 9 months ago
Collaborative filtering on skewed datasets
Many real life datasets have skewed distributions of events when the probability of observing few events far exceeds the others. In this paper, we observed that in skewed datasets...
Somnath Banerjee, Krishnan Ramanathan
EMNLP
2007
13 years 10 months ago
Dependency Parsing and Domain Adaptation with LR Models and Parser Ensembles
We present a data-driven variant of the LR algorithm for dependency parsing, and extend it with a best-first search for probabilistic generalized LR dependency parsing. Parser act...
Kenji Sagae, Jun-ichi Tsujii