345 search results - page 5 / 69 » Computer-Assisted Simulation Proofs |
89
Voted
WSC
1998
15 years 1 months 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...
87
Voted
ACL
2009
14 years 10 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...
98
Voted
SIGCSE
2008
ACM
15 years 14 days 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...
93
Voted
WSC
1989
15 years 1 months 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...
92
Voted
CSFW
2007
IEEE
15 years 7 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...