Sciweavers

2123 search results - page 149 / 425
» Composition of Cyber-Physical Systems
Sort
View
VISUALIZATION
2003
IEEE
15 years 11 months ago
Conveying Shape and Features with Image-Based Relighting
Hand-crafted illustrations are often more effective than photographs for conveying the shape and important features of an object, but they require expertise and time to produce. W...
David Akers, Frank Losasso, Jeff Klingner, Maneesh...
ACSD
1998
IEEE
105views Hardware» more  ACSD 1998»
15 years 10 months ago
Visual Formalisms Revisited
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
Radu Grosu, Gheorghe Stefanescu, Manfred Broy
EMSOFT
2005
Springer
16 years 6 hour ago
Tag machines
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
Albert Benveniste, Benoît Caillaud, Luca P. ...
NAACL
2007
15 years 8 months ago
A Cascaded Machine Learning Approach to Interpreting Temporal Expressions
A new architecture for identifying and interpreting temporal expressions is introduced, in which the large set of complex hand-crafted rules standard in systems for this task is r...
David Ahn, Joris van Rantwijk, Maarten de Rijke
PODC
1994
ACM
15 years 10 months ago
Open Systems in TLA
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
Martín Abadi, Leslie Lamport