6608 search results - page 1122 / 1322 » On the Completeness of Model Checking |
159
click to vote
INTERACT
2007
15 years 6 months ago
2007
During the early stages of architectural training, tangibility plays an important role in developing spatial awareness. In such contexts, tangible user interfaces are believed to p...
150
click to vote
FLAIRS
2006
15 years 6 months ago
2006
We present an overview of the Virtual Patient project at the University of Maryland, which is developing a cognitive model of humans experiencing various states of health and dise...
138
click to vote
ISDO
2000
15 years 6 months ago
2000
The Web is rapidly becoming the platform through which many companies deliver services to businesses and individual customers. E-Services are typically delivered point-to-point; h...
144
click to vote
AIPS
2009
15 years 5 months ago
2009
When modeling real-world decision-theoretic planning problems in the Markov decision process (MDP) framework, it is often impossible to obtain a completely accurate estimate of tr...
166
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Integration of multiple results from Quantitative Trait Loci (QTL) studies is a key point to understand the genetic determinism of complex traits. Up to now many effor...