Sciweavers

11121 search results - page 76 / 2225
» Computing with Continuous Change
Sort
View
IEICET
2010
97views more  IEICET 2010»
14 years 10 months ago
A Case Study of Requirements Elicitation Process with Changes
Takako Nakatani, Shouzo Hori, Naoyasu Ubayashi, Ke...
120
Voted
PRL
2010
97views more  PRL 2010»
14 years 8 months ago
A support vector domain method for change detection in multitemporal images
Francesca Bovolo, Gustavo Camps-Valls, Lorenzo Bru...
IFIPTCS
2000
15 years 5 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger