1705 search results - page 249 / 341 » Representing Constraints with Automata |
92
Voted
ISBI
2002
IEEE
16 years 1 months ago
2002
IEEE
In magnetic resonance diffusion tensor imaging (DTI), the direction and magnitude of diffusion of water molecules is characterized by a diffusion tensor. In the central nervous sy...
106
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...
123
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
A staggering number of multimedia applications are being introduced every day. Yet, the inordinate delays encountered in retrieving multimedia documents make it difficult to use t...
107
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
KDD
2008
ACM
16 years 1 months ago
2008
ACM
We introduce the problem of query decomposition, where we are given a query and a document retrieval system, and we want to produce a small set of queries whose union of resulting...