2907 search results - page 221 / 582 » Presentations of Structures in Admissible Sets |
177
click to vote
CAV
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
168
click to vote
PPSN
1994
Springer
15 years 10 months ago
1994
Springer
A general model for the coevolution of cooperating species is presented. This model is instantiated and tested in the domain of function optimization, and compared with a tradition...
173
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
134
click to vote
DEXA
1995
Springer
15 years 10 months ago
1995
Springer
- In this paper we present CICERO, a system for the assisted planning of personalized itineraries to visit the Ducal Palace in Urbino, Italy. The graphic interface gives users a st...
184
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we introduce a unified framework for topological manipulation on triangulated 2-manifolds with or without boundary. We show that there are two kinds of primitive oper...