3597 search results - page 301 / 720 » Flexible Database Generators |
182
click to vote
LISP
2008
15 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
169
click to vote
IJVR
2007
15 years 6 months ago
2007
—The interactive scenarios realized in the two prototypes of Virtual Human require an approach that allows humans and virtual characters to interact naturally and flexibly. In th...
150
click to vote
CGF
2000
15 years 6 months ago
2000
We present an interactive system for the generation of high quality triangle meshes that allows us to handle hybrid geometry (point clouds, polygons, ...) as input data. In order ...
167
Voted
PC
2002
15 years 6 months ago
2002
: The Logistical Computing and Internetworking (LoCI) project is a reflection of the way that the next generation internetworking fundamentally changes our definition of high perfo...
161
click to vote
TCAD
2002
15 years 6 months ago
2002
Abstract--Composite microsystems that integrate mechanical and fluidic components with electronics are emerging as the next generation of system-on-a-chip. Custom microsystems are ...