3831 search results - page 233 / 767 » Dynamic Context Logic |
165
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
124
click to vote
MST
2006
15 years 5 months ago
2006
The "regularity" of a Boolean function can be exploited for decreasing its minimization time. It has already been shown that the notion of autosymmetry is a valid measure...
173
click to vote
COLING
2002
15 years 5 months ago
2002
Meaning shifting phenomena such as metonymy have recently attracted increasing interest of researchers. Though these phenomena have been addressed by plenty of computational metho...
190
click to vote
ICEIS
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
335
click to vote
COSIT
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...