386 search results - page 42 / 78 » Coalgebraic Hybrid Logic |
100
click to vote
FCCM
2003
IEEE
15 years 5 months ago
2003
IEEE
Hybrid architectures, which are composed of a conventional processor closely coupled with reconfigurable logic, seem to combine the advantages of both types of hardware. They pres...
CP
2000
Springer
15 years 4 months ago
2000
Springer
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
CP
2005
Springer
15 years 5 months ago
2005
Springer
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...
STACS
2001
Springer
15 years 4 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...