345 search results - page 5 / 69 » Computer-Assisted Simulation Proofs |
WSC
1998
14 years 6 days ago
1998
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
ACL
2009
13 years 8 months ago
2009
The development of Dialog-Based ComputerAssisted Language Learning (DB-CALL) systems requires research on the simulation of language learners. This paper presents a new method for...
SIGCSE
2008
ACM
13 years 10 months ago
2008
ACM
The underlying processes that enable database query execution are fundamental to understanding database management systems. However, these processes are complex and can be difficu...
WSC
1989
14 years 15 hour ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
CSFW
2007
IEEE
14 years 5 months ago
2007
IEEE
We study simulation relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation lengths are polynomially bounded. T...