5216 search results - page 946 / 1044 » Planning as Model Checking |
110
click to vote
DAIS
2003
15 years 4 months ago
2003
Abstract The JAMUS platform is dedicated to providing a safe runtime environment for untrusted Java application programs, while offering each of these programs access to the resour...
123
Voted
DGO
2003
15 years 4 months ago
2003
Metadata descriptions of database contents are required to build and use systems that access and deliver data in response to user requests. When numerous heterogeneous databases a...
120
Voted
IJCAI
2001
15 years 4 months ago
2001
Role-limiting approaches using explicit theories of problem-solving have been successful for acquiring knowledge from domain experts1 . However most systems using this approach do...
154
Voted
NIPS
2004
15 years 4 months ago
2004
We describe an approach to building brain-computer interfaces (BCI) based on graphical models for probabilistic inference and learning. We show how a dynamic Bayesian network (DBN...
123
click to vote
IADIS
2003
15 years 4 months ago
2003
Electronic and mobile Commerce have proven to be highly successful in improving cost efficiencies and driving revenue growth for corporations worldwide. Interestingly, the technol...