7991 search results - page 604 / 1599 » Using More Reasoning to Improve |
263
Voted
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
159
click to vote
ICWS
2009
IEEE
16 years 4 months ago
2009
IEEE
There are a large number of websites serving valuable content that can be used by higher-level applications, Web Services, Mashups etc. Yet, due to various reasons (lack of comput...
209
click to vote
ALT
2004
Springer
16 years 4 months ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
206
click to vote
PPPJ
2009
ACM
16 years 2 months ago
2009
ACM
The problem of programming scalable multicore processors has renewed interest in message-passing languages and frameworks. Such languages and frameworks are typically actororiente...
166
click to vote
ISPW
2009
IEEE
16 years 1 months ago
2009
IEEE
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...