136 search results - page 22 / 28 » ITS in Ill-Defined Domains: Toward Hybrid Approaches |
116
click to vote
CPAIOR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
123
click to vote
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
123
click to vote
PODS
2004
ACM
16 years 1 months ago
2004
ACM
We present a novel coding-based technique for answering spatial and spatiotemporal queries on objects moving along a system of curves on the plane such as many road networks. We h...
109
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
In a corpus of jokes, a human might judge two documents to be the "same joke" even if characters, locations, and other details are varied. A given joke could be retold w...
124
click to vote
AIL
2004
15 years 1 months ago
2004
The paper identi es some of the problems with legal systems and outlines the potential of AI technology for overcoming them. For expository purposes, this outline is based on a si...