12981 search results - page 563 / 2597 » Model Checking (Abstract) |
220
click to vote
IUI
2003
ACM
16 years 7 days ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
139
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
290
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...
193
click to vote
CTW
2004
15 years 6 months ago
2004
Abstract Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One ng effort suggested that clinica...
201
click to vote
DAIS
2006
15 years 8 months ago
2006
Abstract. In this paper, we define a model-driven design trajectory for contextaware services consisting of three levels of models with different degrees of ion and platform indepe...