5232 search results - page 95 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
ENTCS
2002
13 years 7 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
CG
2002
Springer
13 years 7 months ago
2002
Springer
In order to analyze or better develop modern computer games it is critical to have an appropriate representation framework. In this paper a symbolic representation of modern comput...
AAAI
2000
13 years 9 months ago
2000
The task of generating minimal models of a knowledge base is a significant computational problem in artificial intelligence. This task is at the computational heart of diagnosis s...
GECCO
2000
Springer
13 years 11 months ago
2000
Springer
ected Abstracts for the First International Workshop on Learning Classifier System (IWLCS92), 1992. October 6
ISAAC
2007
Springer
14 years 1 months ago
2007
Springer
We solve several fundamental geometric problems under a new streaming model recently proposed by Ruhl et al. [2, 12]. In this model, in one pass the input stream can be scanned to ...