7167 search results - page 538 / 1434 » Answer Set Programming |
138
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...
133
click to vote
ISPASS
2007
IEEE
15 years 11 months ago
2007
IEEE
Architectures are usually compared by running the same workload on each architecture and comparing performance. When a single compiled binary of a program is executed on many diff...
178
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
131
click to vote
CPHYSICS
2008
15 years 4 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
132
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular con...