3185 search results - page 499 / 637 » Domain and language evaluation results |
104
click to vote
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
3DPVT
2004
IEEE
15 years 2 months ago
2004
IEEE
With the increasing number of image communication applications especially in the low complexity domain, error concealment has become a very important field of research. Since many...
ACSC
2004
IEEE
15 years 2 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
CIA
2006
Springer
15 years 2 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
CIKM
2006
Springer
15 years 2 months ago
2006
Springer
In this paper we introduce the distributed spatio-temporal similarity search problem: given a query trajectory Q, we want to find the trajectories that follow a motion similar to ...