3199 search results - page 548 / 640 » Variability in Automation System Models |
127
click to vote
TPHOL
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
113
click to vote
CA
2002
IEEE
15 years 7 months ago
2002
IEEE
In augmented reality applications, tracking and registration of both cameras and objects is required because, to combine real and rendered scenes, we must project synthetic models...
138
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
117
click to vote
GIS
2009
ACM
15 years 7 months ago
2009
ACM
This paper looks at the problem of data prioritization, commonly found in mobile ad-hoc networks. The proposed general solution uses a machine learning approach in order to learn ...
120
click to vote
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...