Sciweavers

742 search results - page 6 / 149
» Constructing Hierarchical Rule Systems
Sort
View
ASAP
1996
IEEE
90views Hardware» more  ASAP 1996»
14 years 2 days ago
Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
Florent de Dinechin, Sophie Robert
IJKWI
2010
78views more  IJKWI 2010»
13 years 6 months ago
Construction of linefeed insertion rules for lecture transcript and their evaluation
: The development of a captioning system that supports the real-time understanding of monologue speech such as lectures and commentaries is required. In monologues, since a sentenc...
Masaki Murata, Tomohiro Ohno, Shigeki Matsubara
AUTOMATICA
2005
82views more  AUTOMATICA 2005»
13 years 7 months ago
Hierarchical trajectory refinement for a class of nonlinear systems
Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper, we provide a constructive method for hierarchical trajectory refinement. ...
Paulo Tabuada, George J. Pappas
EUROMICRO
2009
IEEE
14 years 2 months ago
Component-Based Construction of Concurrent Systems with Active Components
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
Kung-Kiu Lau, Ioannis Ntalamagkas
CBSE
2009
Springer
14 years 2 months ago
Control Encapsulation: A Calculus for Exogenous Composition of Software Components
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
Kung-Kiu Lau, Mario Ornaghi