921 search results - page 103 / 185 » Expressing Computational Complexity in Constructive Type The... |
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
ICALP
2010
Springer
14 years 23 days ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
PEPM
2007
ACM
14 years 2 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
ENTCS
2008
13 years 8 months ago
2008
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
AAAI
2011
12 years 8 months ago
2011
Analogy is heavily used in instructional texts. We introduce the concept of analogical dialogue acts (ADAs), which represent the roles utterances play in instructional analogies. ...