10038 search results - page 1829 / 2008 » Model Checking for Managers |
128
click to vote
EEE
2004
IEEE
15 years 8 months ago
2004
IEEE
Designing cross-organizational e-business applications faces the problem that the collaborating businesses must align their commercial interests without any central decision makin...
157
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
The detection of new information in a document stream is an important component of many potential applications. In this work, a new novelty detection approach based on the identif...
164
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
Relational databases are widely used today as a mechanism for providing access to structured data. They, however, are not suitable for typical information finding tasks of end use...
141
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we explore the concept of a "library of brain images", which implies not only a repository of brain images, but also efficient search and retrieval mechan...
143
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
We present a static index pruning method, to be used in ad-hoc document retrieval tasks, that follows a documentcentric approach to decide whether a posting for a given term shoul...