181 search results - page 35 / 37 » The Justification of Logical Theories based on Data Compress... |
111
click to vote
CADE
2009
Springer
16 years 7 days ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
189
Voted
PODS
2009
ACM
16 years 5 days ago
2009
ACM
Relational schema mappings have been extensively studied in connection with data integration and exchange problems, but mappings between XML schemas have not received the same amo...
226
click to vote
POPL
2006
ACM
15 years 12 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
123
Voted
WWW
2009
ACM
15 years 6 months ago
2009
ACM
Traditional relation extraction methods require pre-specified relations and relation-specific human-tagged examples. Bootstrapping systems significantly reduce the number of tr...
199
Voted
POPL
2007
ACM
15 years 12 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...