1010 search results - page 1 / 202 » Logics for Contravariant Simulations |
FORTE
2010
13 years 6 months ago
2010
Abstract. Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not al...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
EUSFLAT
2009
2009
Dispersal of Leaf-Cutting Ants: fuzzy mathematical modeling, numerical approximation and simulations
13 years 3 months ago
ACL
2009
13 years 3 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...