3828 search results - page 8 / 766 » Proof-Based System Engineering Using a Virtual System Model |
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...
ICMI
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper gives an overview of the Jacob project. This project involves the construction of a 3D virtual environment where an animated human-like agent called Jacob give...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper introduces, a virtual teeth drilling system named Virtual Dental Patient designed to aid dentists in getting acquainted with the teeth anatomy, the handling of drilling...
VEE
2012
ACM
12 years 3 months ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...
3DIM
1997
IEEE
13 years 12 months ago
1997
IEEE
We present a perception system, called Artisan, that semi-automatically builds 3-D models of a robot’s workspace. Range images are acquired with a scanning laser rangefinder an...