2409 search results - page 302 / 482 » Logical systems for structured specifications |
123
click to vote
WSC
2001
15 years 5 months ago
2001
This paper presents a method for simulating basic manufacturing operations (unload, load, process, move, and store) in a 3D virtual environment. The virtual environment provides a...
179
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper we briefly overview emerging trends in `Adaptive Morphology', i.e. work related to the theory and/or applications of image analysis filters, systems, or algorit...
146
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
This paper describes an imagingsystem that has been designed specifically for the purpose of recovering egomotion and structure from video. The system consists of six cameras in a...
140
click to vote
RE
1997
Springer
15 years 8 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
155
click to vote
SFM
2005
Springer
15 years 9 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...