Sciweavers

18090 search results - page 725 / 3618
» Computing by Only Observing
Sort
View
170
Voted
MABS
1998
Springer
15 years 11 months ago
ABCDE: Agent Based Chaotic Dynamic Emergence
This paper concerns agent based experiments in the field of negotiation and exchange simulation. A computer simulation environment is built, showing the emergence of chaotic price ...
Pietro Terna
ICCAD
1996
IEEE
141views Hardware» more  ICCAD 1996»
15 years 11 months ago
An observability-based code coverage metric for functional simulation
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer
222
Voted
ESEC
1997
Springer
15 years 11 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
192
Voted
VISUALIZATION
1996
IEEE
15 years 11 months ago
Choosing Effective Colours for Data Visualization
In this paper we describe a technique for choosing multiple colours for use during data visualization. Our goal is a systematic method for maximizing the total number of colours a...
Christopher G. Healey
213
Voted
AICCSA
2007
IEEE
209views Hardware» more  AICCSA 2007»
15 years 11 months ago
LBS and GIS Technology Combination and Applications
Location Based Services (LBSs) provide personalized services to the subscribers based on their current position using Global Navigation Satellite System (GNSS), Geographic Informa...
Balqies Sadoun, Omar Al-Bayari