Sciweavers

163 search results - page 26 / 33
» Modeling Individual Behaviors in Crowd Simulation
Sort
View
JCDL
2003
ACM
109views Education» more  JCDL 2003»
15 years 2 months ago
How to Turn the Page
Can digital libraries provide a reading experience that more closely resembles a real book than a scrolled or paginated electronic display? This paper describes a prototype page-t...
Yi-Chun Chu, Ian H. Witten, Richard Lobb, David Ba...
FMCAD
2007
Springer
15 years 1 months ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra
74
Voted
WSCG
2004
139views more  WSCG 2004»
14 years 11 months ago
Clustering in Virtual Plant Ecosystems
The spatial plant distribution in virtual ecosystems is usually modeled by means of artificial life. Each plant is considered as a solitary element competing for its resources and...
Bedrich Benes, J. M. Soto Guerrero
ACISICIS
2007
IEEE
15 years 4 months ago
A Comparative Study on the Performance of Wireless Sensor Networks
To increase the lifetime of the sensor networks, a recognized method is to switch off/on some sensor nodes between “sleep” and “activity” mode in order to save the energy....
Lin Zou, Zhongwei Zhang
CODES
2004
IEEE
15 years 1 months ago
CPU scheduling for statistically-assured real-time performance and improved energy efficiency
We present a CPU scheduling algorithm, called Energy-efficient Utility Accrual Algorithm (or EUA), for battery-powered, embedded real-time systems. We consider an embedded softwar...
Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Pe...