Sciweavers

6047 search results - page 235 / 1210
» Modeling with Extend
Sort
View
JAIR
2007
79views more  JAIR 2007»
15 years 3 months ago
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
Carmel Domshlak, Jörg Hoffmann
TRS
2008
15 years 3 months ago
A Model of User-Oriented Reduct Construction for Machine Learning
An implicit assumption of many machine learning algorithms is that all attributes are of the same importance. An algorithm typically selects attributes based solely on their statis...
Yiyu Yao, Yan Zhao, Jue Wang, Suqing Han
COGSCI
2002
108views more  COGSCI 2002»
15 years 3 months ago
Statistical models for the induction and use of selectional preferences
Selectional preferences have a long history in both generative and computational linguistics. However, since the publication of Resnik's dissertation in 1993, a new approach ...
Marc Light, Warren R. Greiff
SPIN
2010
Springer
15 years 2 months ago
The SpinJa Model Checker
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
Marc de Jonge, Theo C. Ruys
CSDA
2011
14 years 11 months ago
Hierarchical multilinear models for multiway data
Reduced-rank decompositions provide descriptions of the variation among the elements of a matrix or array. In such decompositions, the elements of an array are expressed as produc...
Peter D. Hoff