2094 search results - page 258 / 419 » A Bayesian Approach for User Modeling in Dialogue Systems |
142
click to vote
JSS
2006
15 years 6 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
208
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
166
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...
200
click to vote
ANZIIS
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper describes the design and developmentof an expert system for tourist information center. The expert system was built to recommend a suitable travel schedule that satisfi...
148
click to vote
TACAS
2007
Springer
16 years 4 days ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...