933 search results - page 81 / 187 » A Fully Automatic hp-Adaptivity |
VISUALIZATION
1998
IEEE
15 years 4 months ago
1998
IEEE
We introduce a new approach for mapping texture on volumetric iso-surfaces and parametric surfaces. Our approach maps 2D images on surfaces while maintaining continuity and preser...
106
click to vote
ROBOCUP
1998
Springer
15 years 4 months ago
1998
Springer
With the attempt to enable robots to play soccer games, the RoboCup challenge poses a demanding standard problem for AI and intelligent robotics research. The rich domain of robot ...
93
Voted
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
103
Voted
PLDI
1996
ACM
15 years 4 months ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
102
Voted
ICCAD
1993
IEEE
15 years 4 months ago
1993
IEEE
We present a design style and synthesis algorithm that encompasses both asynchronous and synchronous state machines. Our proposed design style not only supports generalized “bur...