351 search results - page 67 / 71 » Properties of Behavioural Model Merging |
MIDDLEWARE
2004
Springer
14 years 22 days ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
KI
2010
Springer
13 years 2 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
PLPV
2012
ACM
12 years 2 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
VISUALIZATION
2002
IEEE
14 years 8 days ago
2002
IEEE
Typically 3-D MR and CT scans have a relatively high resolution in the scanning X;Y plane, but much lower resolution in the axial Z direction. This non-uniform sampling of an obje...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
Motion segmentation is a classic and on-going research topic which is an important pre-stage for many video processes. The reliability of the motion field calculation directly dete...