3891 search results - page 154 / 779 » Query Models |
143
Voted
AIMSA
2006
Springer
15 years 6 months ago
2006
Springer
Although speech and language processing techniques achieved a relative maturity during the last decade, designing a spoken dialogue system is still a tailoring task because of the ...
109
Voted
ER
1999
Springer
15 years 7 months ago
1999
Springer
We propose a method for modeling complex Web sources that have active user interaction requirements. Here active" refers to the fact that certain information in these sources ...
108
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
We propose a framework for searching the Wikipedia with contextual information. Our framework extends the typical keyword search, by considering queries of the type q, p , where q...
250
Voted
VLDB
2005
ACM
16 years 2 months ago
2005
ACM
XML database systems emerge as a result of the acceptance of the XML data model. Recent works have followed the promising approach of building XML database management systems on un...
133
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...