2347 search results - page 175 / 470 » Collecting commonsense experiences |
183
click to vote
CAV
2007
Springer
16 years 18 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
171
click to vote
DIS
2007
Springer
16 years 17 days ago
2007
Springer
We propose an unsupervised method for detecting spam documents from Web page data, based on equivalence relations on strings. We propose 3 measures for quantifying the alienness (...
183
click to vote
HPCC
2007
Springer
16 years 17 days ago
2007
Springer
In many applications, stream data are too voluminous to be collected in a central fashion and often transmitted on a distributed network. In this paper, we focus on the outlier det...
184
click to vote
ICCBR
2007
Springer
16 years 17 days ago
2007
Springer
We identify two fundamental points of utilizing CBR for an adaptive agent that tries to learn on the basis of trial and error without a model of its environment. The first link co...
202
click to vote
PDCAT
2007
Springer
16 years 16 days ago
2007
Springer
—Grid system software is inherently complex, hard to build and maintain. In this paper, we propose a selfmanaging building block: Grid Unit, which facilitates constructing Grid s...