Sciweavers

5699 search results - page 340 / 1140
» Alternating model trees
Sort
View
ECAI
2006
Springer
15 years 11 months ago
CTL Model Update: Semantics, Computations and Implementation
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
Yulin Ding, Yan Zhang
AAAI
2006
15 years 9 months ago
Prob-Maxn: Playing N-Player Games with Opponent Models
Much of the work on opponent modeling for game tree search has been unsuccessful. In two-player, zero-sum games, the gains from opponent modeling are often outweighed by the cost ...
Nathan R. Sturtevant, Martin Zinkevich, Michael H....
NIPS
2004
15 years 9 months ago
Modelling Uncertainty in the Game of Go
Go is an ancient oriental game whose complexity has defeated attempts to automate it. We suggest using probability in a Bayesian sense to model the uncertainty arising from the va...
David H. Stern, Thore Graepel, David J. C. MacKay
CVPR
2010
IEEE
16 years 3 months ago
Detecting and Parsing Architecture at City Scale from Range Data
We present a method for detecting and parsing buildings from unorganized 3D point clouds into a compact, hierarchical representation that is useful for high-level tasks. The input...
Alexander Toshev, Philippos Mordohai, Ben Taskar
ITNG
2006
IEEE
16 years 1 months ago
Utilizing XML Schema for Describing and Querying Still Image Databases
In this paper, still images are modeled by hierarchical tree structures and object relational graphs. These modeling concepts can be described naturally using XML schema. We intro...
Kazem Taghva, Min Xu, Emma Regentova, Tom Nartker