598 search results - page 74 / 120 » Generic Trace Theory |
103
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
112
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper introduces a new algorithm for solving a subclass of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified ine...
124
click to vote
CONNECTION
2006
15 years 3 months ago
2006
This article describes a developmental system based on information theory implemented on a real robot that learns a model of its own sensory and actuator apparatus. There is no in...
135
click to vote
ENTCS
2006
15 years 3 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
110
click to vote
CMOT
2007
15 years 3 months ago
2007
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...