Sciweavers

7890 search results - page 120 / 1578
» The MathSAT 3 System
Sort
View
ENTCS
2000
60views more  ENTCS 2000»
13 years 9 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
3DPVT
2002
IEEE
130views Visualization» more  3DPVT 2002»
14 years 2 months ago
ATTEST: Advanced Three-dimensional Television System Technologies
We describe the goals of the ATTEST project, which started in March 2002 as part of the Information Society Technologies (IST) programme, sponsored by the European Commission. In ...
André Redert, Marc Op de Beeck, Christoph F...
VRML
2004
ACM
14 years 3 months ago
3TP: 3-D models transport protocol
This paper addresses the problem of streaming progressively compressed 3-D models over lossy networks. Out of all encoded packets that can be transmitted, we intelligently choose ...
Ghassan Al-Regib, Yucel Altunbasak
ISCAS
2005
IEEE
164views Hardware» more  ISCAS 2005»
14 years 3 months ago
A 3-way SIMD engine for programmable triangle setup in embedded 3D graphics hardware
—A triangle setup engine (TSE) generates setup parameters for rasterization in 3D graphics hardware. Since the TSE must be flexible for various embedded systems, a programmable T...
Kyusik Chung, Donghyun Kim, Lee-Sup Kim
IJRR
2010
159views more  IJRR 2010»
13 years 4 months ago
Vision-guided Robot System for Picking Objects by Casting Shadows
We present a complete vision guided robot system for model based 3D pose estimation and picking of singulated 3D objects. Our system employs a novel vision sensor consisting of a ...
Amit Agrawal, Yu Sun, John Barnwell, Ramesh Raskar