1613 search results - page 51 / 323 » Functional and Constraint Logic Programming |
112
Voted
HYBRID
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
158
click to vote
ACL
1997
15 years 4 months ago
1997
In this paper we describe an approach to constraint based syntactic theories in terms of finite tree automata. The solutions to constraints expressed in weak monadic second order ...
134
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
151
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...
130
Voted
LPAR
1999
Springer
15 years 7 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...