4460 search results - page 131 / 892 » Formal methods for interactive systems |
136
click to vote
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper focuses on question selection methods for conversational recommender systems. We consider a scenario, where given an initial user query, the recommender system may ask ...
255
Voted
AEPIA
2002
15 years 3 months ago
2002
Case-Based Reasoning systems retrieve cases using a similarity function based on the K-NN or some derivatives. These functions are sensitive to irrelevant, interacting or noisy fe...
114
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
134
Voted
CI
2002
15 years 3 months ago
2002
This paper presents a formal framework and outlines a method that autonomous agents can use to negotiate the semantics of their communication language at run-time. Such an ability...
167
Voted
AIME
2011
Springer
14 years 3 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...