Sciweavers

723 search results - page 99 / 145
» Exclusion for composite objects
Sort
View
MPC
2010
Springer
174views Mathematics» more  MPC 2010»
14 years 1 months ago
Matrices as Arrows!
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
Hugo Daniel Macedo, José Nuno Oliveira
IFIPTCS
2000
14 years 1 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
ICPR
2008
IEEE
14 years 4 months ago
Monocular video foreground segmentation system
This paper proposes an automatic foreground segmentation system based on Gaussian mixture models and dynamic graph cut algorithm. An adaptive perpixel background model is develope...
Xiaoyu Wu, Yangsheng Wang, Xiaolong Zheng
ICTAI
2007
IEEE
14 years 3 months ago
Assessing Hierarchical Cooperative CoEvolution
Recently, many research efforts are directed towards coevolutionary algorithms. The present work aims at the assessment of Hierarchical Cooperative CoEvolution (HCCE) being proper...
Michail Maniadakis, Panos E. Trahanias
LAWEB
2007
IEEE
14 years 3 months ago
Designing the Interface of Rich Internet Applications
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
Matias Urbieta, Gustavo Rossi, Jeronimo Ginzburg, ...