1010 search results - page 1 / 202 » Logics for Contravariant Simulations |
103
Voted
FORTE
2010
15 years 4 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...
77
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
114
Voted
APLAS
2010
ACM
15 years 3 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...
100
Voted
EUSFLAT
2009
2009
Dispersal of Leaf-Cutting Ants: fuzzy mathematical modeling, numerical approximation and simulations
15 years 17 days ago
107
Voted
ACL
2009
15 years 19 days 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...