4242 search results - page 499 / 849 » An Event Spacing Experiment |
200
click to vote
CAV
2007
Springer
16 years 1 months 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...
195
click to vote
CIKM
2007
Springer
16 years 1 months ago
2007
Springer
In this work a method for detecting distance-based outliers in data streams is presented. We deal with the sliding window model, where outlier queries are performed in order to de...
199
click to vote
EDUTAINMENT
2007
Springer
16 years 1 months ago
2007
Springer
Due to the high-dimensionality of motion captured data which resulted in the complexity in motion analysis, a method of motion data processing based on manifold learning was propos...
148
click to vote
EVOW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We demonstrate how a genetic algorithm solves the problem of minimizing the resources used for network coding, subject to a throughput constraint, in a multicast scenario...
201
click to vote
ICA3PP
2007
Springer
16 years 1 months ago
2007
Springer
Classification is a kind of basic semantics that people often use to manage versatile contents in daily life. Resource Space Model (RSM) is a semantic model for sharing and managin...