Sciweavers

3856 search results - page 310 / 772
» Models for Automated Earthmoving
Sort
View
CORR
2007
Springer
127views Education» more  CORR 2007»
15 years 6 months ago
Common Reusable Verification Environment for BCA and RTL Models
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
Giuseppe Falconeri, Walid Naifer, Nizar Romdhane
IS
2007
15 years 6 months ago
Improving process models by discovering decision points
Workflow management systems (WfMS) are widely used by business enterprises as tools for administrating, automating and scheduling the business process activities with the availab...
Sharmila Subramaniam, Vana Kalogeraki, Dimitrios G...
JSS
2010
123views more  JSS 2010»
15 years 1 months ago
Composition of architectural models: Empirical analysis and language support
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
Nelis Boucké, Danny Weyns, Tom Holvoet
CVPR
2007
IEEE
16 years 8 months ago
Geometric Modeling and Calibration of Planar Multi-Projector Displays Using Rational Bezier Patches
In order to achieve seamless imagery in a planar multiprojector display, geometric distortions and misalignment of images within and across projectors have to be removed. Camera-b...
Ezekiel S. Bhasker, Aditi Majumder
GIS
2008
ACM
16 years 7 months ago
Editing and versioning dynamic network models
Network data models are widely used to describe the connectivity between spatial features in GIS architectures. Recent applications demand that such models are editable in multius...
Petko Bakalov, Erik G. Hoel, Wee-Liang Heng, Vassi...