Sciweavers

4008 search results - page 705 / 802
» An expressive language of signatures
Sort
View
CA
2002
IEEE
14 years 3 months ago
Representing and Parameterizing Agent Behaviors
The last few years have seen great maturation in understanding how to use computer graphics technology to portray 3D embodied characters or virtual humans. Unlike the off-line, an...
Norman I. Badler, Jan M. Allbeck, Liwei Zhao, Meer...
ICEIS
2002
IEEE
14 years 3 months ago
Using Hot-Spot-Driven Approach in the Development of a Framework for Multimedia Presentation on the Web
: Frameworks can be seen as generative since they are intended and well suited to be used as the foundation for the development of a number of applications in the domain captured b...
Khalid Suliman Al-Tahat, Sufian Bin Idris, Tengku ...
ISSS
2002
IEEE
133views Hardware» more  ISSS 2002»
14 years 3 months ago
Efficient Simulation of Synthesis-Oriented System Level Designs
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
Rajesh K. Gupta, Sandeep K. Shukla, Nick Savoiu
LICS
2002
IEEE
14 years 3 months ago
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
VISUALIZATION
2002
IEEE
14 years 3 months ago
A Model for the Visualization Exploration Process
The current state of the art in visualization research places a strong emphasis on different techniques to derive insight from disparate types of data. However, little work has in...
T. J. Jankun-Kelly, Kwan-Liu Ma, Michael Gertz