3856 search results - page 307 / 772 » Models for Automated Earthmoving |
205
click to vote
RE
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
171
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
This paper describes a fast, automated technique for accurate on-line estimation of the performance and power consumption of interacting processes in a multi-programmed, multi-cor...
188
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
188
click to vote
PRL
2007
15 years 6 months ago
2007
The bottleneck in interactive visual classification is the exchange of information between human and machine. We introduce the concept of the visible model, which is an ion of an ...
196
click to vote
VLSISP
2011
15 years 1 months ago
2011
This paper presents accurate area, time, power estimation models for implementations using FPGAs from the Xilinx Virtex-2Pro family [1]. These models are designed to facilitate ef...