1037 search results - page 97 / 208 » Compositional Variability - Concepts and Patterns |
116
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...
147
click to vote
ICMLC
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a novel approach for adaptive online multi-stroke sketch recognition based on Hidden Markov Model (HMM). The method views the drawing sketch as the result of a ...
119
click to vote
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
109
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Asynchronous automata are parallel compositions of finitestate processes synchronizing over shared variables. A deep theorem due to Zielonka says that every regular trac...
136
click to vote
RT
1999
Springer
15 years 7 months ago
1999
Springer
A separable decomposition of bidirectional reflectance distributions (BRDFs) is used to implement arbitrary reflectances from point sources on existing graphics hardware. Two-dim...