9532 search results - page 1481 / 1907 » Logic, Graphs, and Algorithms |
194
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
179
click to vote
ECML
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Learning from multi-relational domains has gained increasing attention over the past few years. Inductive logic programming (ILP) systems, which often rely on hill-climbi...
178
click to vote
DEBS
2003
ACM
16 years 4 days ago
2003
ACM
Join algorithms must be re-designed when processing stream data instead of persistently stored data. Data streams are potentially infinite and the query result is expected to be ...
209
click to vote
CASC
2006
Springer
15 years 10 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
154
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run-time reconfigurabil...