3199 search results - page 548 / 640 » Variability in Automation System Models |
209
click to vote
TPHOL
2003
IEEE
16 years 22 days 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. ...
202
Voted
CA
2002
IEEE
16 years 13 days 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...
216
click to vote
IPPS
2002
IEEE
16 years 12 days 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....
197
click to vote
GIS
2009
ACM
16 years 2 days 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 ...
197
Voted
EMSOFT
2001
Springer
15 years 12 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...