Sciweavers

1621 search results - page 183 / 325
» Octahedron Environment Maps
Sort
View
69
Voted
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
15 years 3 months ago
DEEP: Dual-Space Expansion for Estimating Penetration Depth Between Convex Polytopes
Abstract— We present an incremental algorithm to estimate the penetration depth between convex polytopes in 3D. The algorithm incrementally seeks a “locally optimal solution”...
Young J. Kim, Ming C. Lin, Dinesh Manocha
CAV
1998
Springer
147views Hardware» more  CAV 1998»
15 years 2 months ago
Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
Kenneth L. McMillan
DEXA
1998
Springer
152views Database» more  DEXA 1998»
15 years 2 months ago
Facilitating Virtual Representation of CAD Data Through A Learning Based Approach to Conceptual Database Evolution Employing Dir
This paper presents a framework for a learning based approach to dynamically evolve the conceptual structure of a database in order to facilitate virtual representation of data in ...
Awais Rashid, Peter Sawyer
COSIT
1997
Springer
80views GIS» more  COSIT 1997»
15 years 2 months ago
Spatial Representation for Pragmatic Navigation
As described here, pragmatic navigation attempts to harness simple facts about a two-dimensional environment to facilitate travel through it without an explicit map. It relies upo...
Susan L. Epstein
DATE
2004
IEEE
135views Hardware» more  DATE 2004»
15 years 1 months ago
A Simulation-Based Power-Aware Architecture Exploration of a Multiprocessor System-on-Chip Design
We present the design exploration of a System-on-Chip architecture dedicated to the implementation of the HIPERLAN/2 communication protocol. The task was accomplished by means of ...
Francesco Menichelli, Mauro Olivieri, Luca Benini,...