21430 search results - page 432 / 4286 » Abstract Effective Models |
136
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper investigates the usage of various types of language models on polarity text classification
282
click to vote
Presentation
Presentation of the exponential families, of the mixtures of such distributions and how to learn it. We then present algorithms to simplify mixture model, using Kullback-Leibler di...
199
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
202
click to vote
FMCO
2003
Springer
16 years 10 hour ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
188
click to vote
AMT
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents an integrative agent model for adaptive human-aware information presentation. Within the agent model, meant to support humans in demanding tasks, a domain model...