1010 search results - page 1 / 202 » Logics for Contravariant Simulations |
101
click to vote
FORTE
2010
15 years 3 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
15 years 2 months ago
2010
Springer
108
click to vote
APLAS
2010
ACM
15 years 2 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...
95
Voted
EUSFLAT
2009
2009
Dispersal of Leaf-Cutting Ants: fuzzy mathematical modeling, numerical approximation and simulations
15 years 3 days ago
104
click to vote
ACL
2009
15 years 4 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...