Sciweavers

3333 search results - page 422 / 667
» Abstract Proof Search
Sort
View
IDA
1999
Springer
15 years 10 months ago
Discovering Dynamics Using Bayesian Clustering
Abstract. This paper introduces a Bayesian method for clustering dynamic processes and applies it to the characterization of the dynamics of a military scenario. The method models ...
Paola Sebastiani, Marco Ramoni, Paul R. Cohen, Joh...
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
15 years 10 months ago
Identification of clock synchronization errors: A behavioral approach
Abstract-- The subject area of this paper is discrete-time linear time-invariant systems composed of subsystems whose state updating is asynchronous due to the clock signal arrivin...
Marek Przedwojski, Ivan Markovsky, Eric Rogers
CP
2007
Springer
15 years 10 months ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
Hélène Collavizza, Michel Rueher
ICANNGA
2007
Springer
15 years 10 months ago
Particle Swarms for Multimodal Optimization
Abstract. In this paper, five previous Particle Swarm Optimization (PSO) algorithms for multimodal function optimization are reviewed. A new and a successful PSO based algorithm, n...
Ender Özcan, Murat Yilmaz
CIVR
2006
Springer
151views Image Analysis» more  CIVR 2006»
15 years 10 months ago
VideoSOM: A SOM-Based Interface for Video Browsing
Abstract. The VideoSOM sytem is a tool for content-based video navigation based on a growing self-organizing map. Our interface allows the user to browse the video content using si...
Thomas Bärecke, Ewa Kijak, Andreas Nürnb...