Sciweavers

3235 search results - page 56 / 647
» Partial Redundant Modeling
Sort
View
CAV
2006
Springer
209views Hardware» more  CAV 2006»
15 years 3 months ago
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
Koushik Sen, Gul Agha
GFKL
2005
Springer
88views Data Mining» more  GFKL 2005»
15 years 5 months ago
The Partial Robust M-approach
The PLS approach is a widely used technique to estimate path models relating various blocks of variables measured from the same population. It is frequently applied in the social s...
Sven Serneels, Christophe Croux, Peter Filzmoser, ...
ICML
2010
IEEE
14 years 9 months ago
Approximate Predictive Representations of Partially Observable Systems
We provide a novel view of learning an approximate model of a partially observable environment from data and present a simple implemenf the idea. The learned model abstracts away ...
Monica Dinculescu, Doina Precup
JOT
2006
76views more  JOT 2006»
14 years 11 months ago
Programming with Models? Modeling with Code. The Role of Models in Software Development
on, a model is an abstraction of the real thing. In practice, engineers work with partial descriptions (models) and add/remove model at each level of abstraction. Models describe a...
Dave Thomas
ECML
2005
Springer
15 years 5 months ago
Active Learning in Partially Observable Markov Decision Processes
This paper examines the problem of finding an optimal policy for a Partially Observable Markov Decision Process (POMDP) when the model is not known or is only poorly specified. W...
Robin Jaulmes, Joelle Pineau, Doina Precup