Sciweavers

2123 search results - page 287 / 425
» Composition of Cyber-Physical Systems
Sort
View
134
Voted
SIGGRAPH
1997
ACM
15 years 8 months ago
Computer-generated watercolor
This paper describes the various artistic effects of watercolor and shows how they can be simulated automatically. Our watercolor model is based on an ordered set of translucent g...
Cassidy J. Curtis, Sean E. Anderson, Joshua E. Sei...
HPDC
1996
IEEE
15 years 8 months ago
The Core Legion Object Model
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
Michael J. Lewis, Andrew S. Grimshaw
FGR
2006
IEEE
154views Biometrics» more  FGR 2006»
15 years 8 months ago
Toward an Efficient and Accurate AAM Fitting on Appearance Varying Faces
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...
Hugo Mercier, Julien Peyras, Patrice Dalle
HYBRID
2000
Springer
15 years 8 months ago
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
Joseph S. Miller
139
Voted
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 6 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...