677 search results - page 82 / 136 » Dependent Types from Counterexamples |
SBBD
2001
14 years 11 months ago
2001
There are several auxiliary pre-computed access structures that allow faster answers by reading less base data. Examples are materialized views, join indexes, B-tree and bitmap in...
COLING
2000
14 years 11 months ago
2000
Typical approaches to XML authoring view a XML document as a mixture of structure (the tags) and surface (text between the tags). We advocate a radical approach where the surface ...
ICMAS
2000
14 years 11 months ago
2000
The data allocation problem in incomplete information environments consisting of self-motivated servers responding to users' queries is considered. Periodically, the servers ...
105
click to vote
DAGSTUHL
1997
14 years 11 months ago
1997
This paper presents a technique for local surface extraction from scalar and vector fields using deformable surfaces. The goal of surface extraction is often to find features, o...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
The success of spoken dialog applications depends strongly on the quality of the semantic confidence measure that determines the selection of the dialog strategy. However, the sem...