805 search results - page 130 / 161 » On the Semantics of Conditional Commitment |
121
click to vote
ANSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
108
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
MMR (Maximum Marginal Relevance) is widely used in summarization for its simplicity and efficacy, and has been demonstrated to achieve comparable performance to other approaches ...
121
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Data-driven Spoken Language Understanding (SLU) systems need semantically annotated data which are expensive, time consuming and prone to human errors. Active learning has been su...
125
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
104
click to vote
QEST
2008
IEEE
15 years 8 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...