Sciweavers

2656 search results - page 358 / 532
» A general purpose animator
Sort
View
ICCAD
1995
IEEE
127views Hardware» more  ICCAD 1995»
15 years 9 months ago
Hybrid decision diagrams
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
ICDCS
1995
IEEE
15 years 9 months ago
Newtop: A Fault-Tolerant Group Communication Protocol
: A general purpose group communication protocol suite called Newtop is described. It is assumed that processes can simultaneously belong to many groups, group size could be large,...
Paul D. Ezhilchelvan, Raimundo A. Macêdo, Sa...
VISUALIZATION
1991
IEEE
15 years 9 months ago
Achieving Direct Volume Visualization with Interactive Semantic Region Selection
Interactive direct visualization of 3D data requires fast update rates and the ability to extract regions of interest from the surrounding data. We have implemented MultiValued Cl...
Terry S. Yoo, Ulrich Neumann, Henry Fuchs, Stephen...
MOBISYS
2010
ACM
15 years 8 months ago
Improving energy efficiency of location sensing on smartphones
Location-based applications have become increasingly popular on smartphones over the past years. The active use of these applications can however cause device battery drain owing ...
Zhenyun Zhuang, Kyu-Han Kim, Jatinder Pal Singh
AIIDE
2008
15 years 8 months ago
Hierarchical Petri Nets for Story Plots Featuring Virtual Humans
Petri Nets can be used for a retrospective analysis of a computer game story, for representing plots in serious games as well as for monitoring the course of the story, as recentl...
Daniel Balas, Cyril Brom, Adam Abonyi, Jakub Gemro...