Sciweavers

809 search results - page 67 / 162
» 04421 Abstracts Collection - Algebraic Methods in Computatio...
Sort
View
IDA
2002
Springer
15 years 1 months ago
Online classification of nonstationary data streams
Most classification methods are based on the assumption that the data conforms to a stationary distribution. However, the real-world data is usually collected over certain periods...
Mark Last
SETN
2004
Springer
15 years 6 months ago
A Meta-classifier Approach for Medical Diagnosis
Abstract. Single classifiers, such as Neural Networks, Support Vector Machines, Decision Trees and other, can be used to perform classification of data for relatively simple proble...
George L. Tsirogiannis, Dimitrios S. Frossyniotis,...
FORMATS
2010
Springer
14 years 11 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
ECCV
2008
Springer
16 years 3 months ago
Movie/Script: Alignment and Parsing of Video and Text Transcription
Abstract. Movies and TV are a rich source of diverse and complex video of people, objects, actions and locales "in the wild". Harvesting automatically labeled sequences o...
Timothee Cour, Chris Jordan, Eleni Miltsakaki, Ben...
COORDINATION
2004
Springer
15 years 6 months ago
Optimistic Concurrency Semantics for Transactions in Coordination Languages
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
Suresh Jagannathan, Jan Vitek