2765 search results - page 216 / 553 » Works and representation |
198
click to vote
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
189
click to vote
SIGIR
2006
ACM
16 years 24 days ago
2006
ACM
The performance of document clustering systems depends on employing optimal text representations, which are not only difficult to determine beforehand, but also may vary from one ...
196
click to vote
IDEAS
2005
IEEE
16 years 13 days ago
2005
IEEE
The XML data is order-sensitive. The order problem, that is how ordered XML documents and order-sensitive queries over it can be efficiently supported when mapped into the unorde...
185
click to vote
CIKM
2005
Springer
16 years 11 days ago
2005
Springer
Our previous work on road detection suggests the usage of prior knowledge in order to improve performance. In this paper we will explain our motivation for a novel approach, defin...
175
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...