Sciweavers

3198 search results - page 272 / 640
» Evolutionary Computation in Structural Design
Sort
View
DAC
2002
ACM
16 years 6 months ago
Deriving a simulation input generator and a coverage metric from a formal specification
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
Kanna Shimizu, David L. Dill
ICCV
2001
IEEE
16 years 7 months ago
Articulated Soft Objects for Video-based Body Modeling
We develop a framework for 3?D shape and motion recovery of articulated deformable objects. We propose a formalism that incorporates the use of implicit surfaces into earlier robo...
Pascal Fua, Ralf Plänkers
107
Voted
ICDCSW
2005
IEEE
15 years 10 months ago
DistScroll - A New One-Handed Interaction Device
We present an interaction device for navigating data structures or browsing menus using only one hand. It is especially designed for situations in which the user wears gloves that...
Matthias Kranz, Paul Holleis, Albrecht Schmidt
114
Voted
DAC
1999
ACM
15 years 9 months ago
Hardware Reuse at the Behavioral Level
Standard interfaces for hardware reuse are currently de ned at the structural level. In contrast to this, our contribution de nes the reuse interface at the behavioral registertra...
Patrick Schaumont, Radim Cmar, Serge Vernalde, Mar...
148
Voted
SIBGRAPI
2000
IEEE
15 years 8 months ago
Semi-Regular 4-8 Refinement and Box Spline Surfaces
Abstract. In this paper we introduce a new mesh refinement method for subdivision surfaces. It generates a semiregular 4-direction hierarchical structure from control meshes repres...
Luiz Velho