Sciweavers

585 search results - page 56 / 117
» The Feature Subspace Method for SMT System Combination
Sort
View
RECOMB
2009
Springer
14 years 8 months ago
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...
Alexandre Donzé, Gilles Clermont, Axel Lega...
SIBGRAPI
2000
IEEE
14 years 11 days ago
Handwritten Digits Segmentation Based on Structural Approach
This article deals with a new segmentation approach applied to unconstrained handwritten digits. The novelty of the proposed algorithm is based on the combination of two types of s...
Luiz E. Soares de Oliveira, Edouard Lethelier, Fl&...
IFM
2009
Springer
158views Formal Methods» more  IFM 2009»
14 years 2 months ago
Developing Topology Discovery in Event-B
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
Thai Son Hoang, Hironobu Kuruma, David A. Basin, J...
SMC
2007
IEEE
143views Control Systems» more  SMC 2007»
14 years 2 months ago
Enabling gestural interaction by means of tracking dynamical systems models and assistive feedback
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
Yon Visell, Jeremy R. Cooperstock
CVPR
2009
IEEE
15 years 3 months ago
View-Invariant Dynamic Texture Recognition using a Bag of Dynamical Systems
In this paper, we consider the problem of categorizing videos of dynamic textures under varying view-point. We propose to model each video with a collection of Linear Dynamics S...
Avinash Ravichandran, René Vidal, Rizwan Ch...