Sciweavers

3825 search results - page 548 / 765
» More on pooling spaces
Sort
View
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 11 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
ICRA
2000
IEEE
109views Robotics» more  ICRA 2000»
15 years 11 months ago
Computing the Sensory Uncertainty Field of a Vision-Based Localization Sensor
—Recently it has been recognized that robust motion planners should take into account the varying performance of localization sensors across the configuration space. Although a n...
Amit Adam, Ehud Rivlin, Ilan Shimshoni
INFOVIS
2000
IEEE
15 years 11 months ago
A Taxonomy of Visualization Techniques Using the Data State Reference Model
In previous work, researchers have attempted to construct taxonomies of information visualization techniques by examining the data domains that are compatible with these technique...
Ed Huai-hsin Chi
MM
2000
ACM
87views Multimedia» more  MM 2000»
15 years 11 months ago
Giving meanings to WWW images
Images are increasingly being embedded in HTML documents on the WWW. Such documents over the WWW essentially provides a rich source of image collection from which users can query....
Heng Tao Shen, Beng Chin Ooi, Kian-Lee Tan
SAC
2000
ACM
15 years 11 months ago
XML Dataspaces for Mobile Agent Coordination
This paper presents XMARS, a programmable coordination architecture for Internet applications based on mobile agents. In XMARS, agents coordinate – both with each other and with...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli