Sciweavers

2562 search results - page 253 / 513
» Components of the Fundamental Category
Sort
View
MM
2006
ACM
166views Multimedia» more  MM 2006»
16 years 22 days ago
Automatic document orientation detection and categorization through document vectorization
This paper presents an automatic orientation detection and categorization technique that is capable of detecting the orientation of multilingual documents with arbitrary skew and ...
Shijian Lu, Chew Lim Tan
197
Voted
EMSOFT
2004
Springer
16 years 5 days ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ACMSE
2000
ACM
15 years 11 months ago
Exploring an information-based approach to computation and computational complexity
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
D. E. Stevenson
FCT
1999
Springer
15 years 11 months ago
Tile Transition Systems as Structured Coalgebras
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
Andrea Corradini, Reiko Heckel, Ugo Montanari
GECCO
2006
Springer
190views Optimization» more  GECCO 2006»
15 years 10 months ago
Design synthesis of microelectromechanical systems using genetic algorithms with component-based genotype representation
An automated design synthesis system based on a multi-objective genetic algorithm (MOGA) has been developed for the optimization of surface-micromachined MEMS devices. A hierarchi...
Ying Zhang, Raffi R. Kamalian, Alice M. Agogino, C...