3446 search results - page 53 / 690 » A Reasoning Algorithm for pD* |
101
click to vote
ICCD
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes a new formalism for layout-driven optimization of datapaths. It is based on preserving an arithmetic bit level representation of the arithmetic circuit portion...
133
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
103
click to vote
ACSC
2008
IEEE
15 years 7 months ago
2008
IEEE
In the future, if we are to continue to expect improved application performance we will have to achieve it by exploiting course-grained hardware parallelism rather then simply rel...
112
click to vote
ICLP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
125
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
Dynamic detection and elimination of symmetry in constraints, is in general a hard task, but in Not-Equals binary constraint networks, the symmetry conditions can be simplified. I...