12981 search results - page 2548 / 2597 » Model Checking and Abstraction |
183
click to vote
ALT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a survey of recent results concerning the theoretical and empirical performance of algorithms for learning regularized least-squares classifiers. The behavior ...
161
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Recently, researchers have explored to provide a queue management scheme with differentiated loss guarantees for the future Internet. The Bounded Random Drop (BRD), known...
164
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. This paper introduces ThreadMill - a distributed and parallel component architecture for applications that process large volumes of streamed (time-sequenced) data, such a...
154
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
We report on an a set of experiments carried out in the context of the Flemish OntoBasis project. Our purpose is to extract semantic relations from text corpora in an unsupervised ...
186
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...