1547 search results - page 129 / 310 » The Isabelle Collections Framework |
118
click to vote
CIA
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes a framework to construct interface agents with example dialogs based on the tasks by the machine learning technology. The Wizard of Oz method is used to collec...
171
click to vote
AIMDM
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we describe a new approach to computer-based health promotion, based on a conversational model. We base our model on a collection of human-human email dialogues conce...
134
click to vote
BTW
2007
Springer
2007
Springer
TopX - Efficient and Versatile Top-k Query Process-ing for Text, Semistructured, and Structured Data
15 years 8 months ago
: This paper presents a comprehensive overview of the TopX search engine, an extensive framework for unified indexing and querying large collections of unstructured, semistructured...
140
click to vote
CAINE
2001
15 years 5 months ago
2001
: The far-reaching Internet and the relevant technologies on intelligence shed a light of hope for those problems that seek solutions that are suitable for global perspectives, sup...
145
click to vote
PTS
2003
15 years 5 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...