2314 search results - page 319 / 463 » Monoids over domains |
120
Voted
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
CIA
2006
Springer
15 years 5 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...
129
Voted
CICLING
2006
Springer
15 years 5 months ago
2006
Springer
Several phrase chunkers have been proposed over the past few years. Some state-of-the-art chunkers achieved better performance via integrating external resources, e.g., parsers and...
123
click to vote
CIKM
2006
Springer
15 years 5 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 ...
106
click to vote
ECCV
2006
Springer
15 years 5 months ago
2006
Springer
We present a novel method for the detection of motion boundaries in a video sequence based on differential properties of the spatio-temporal domain. Regarding the video sequence as...