780 search results - page 20 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
EMNLP
2004
13 years 10 months ago
2004
We compare and contrast two different models for detecting sentence-like units in continuous speech. The first approach uses hidden Markov sequence models based on N-grams and max...
EJC
2008
13 years 10 months ago
2008
This paper presents a novel model of co-reference knowledge, which is based on the distinction of (i) a model of a common reality, (ii) a model of an agent's opinion about rea...
JOT
2008
13 years 9 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
GEOINFORMATICA
1998
13 years 8 months ago
1998
An important component of spatial data quality is the imprecision resulting from the resolution at which data are represented. Current research on topics such as spatial data inte...
ER
2009
Springer
14 years 8 days ago
2009
Springer
Ontologies have been extensively used to model domain-specific knowledge. Recent research has applied ontologies to enhance the discovery and retrieval of geographic data in Spatia...