Sciweavers

3136 search results - page 418 / 628
» Comparison of Clique-Listing Algorithms
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
IJCNN
2000
IEEE
15 years 11 months ago
Recursive Non Linear Models for On Line Traffic Prediction of VBR MPEG Coded Video Sources
Any performance evaluation of broadband networks requires modeling of the actual network traffic. Since multimedia services and especially MPEG coded video streams are expected to...
Anastasios D. Doulamis, Nikolaos D. Doulamis, Stef...
DARS
2000
Springer
129views Robotics» more  DARS 2000»
15 years 11 months ago
Distributed Multi-Robot Localization
Abstract—In this paper we present a new approach to the problem of simultaneously localizing a group of mobile robots capable of sensing one another. Each of the robots collects ...
Stergios I. Roumeliotis, George A. Bekey
DEXAW
1999
IEEE
119views Database» more  DEXAW 1999»
15 years 11 months ago
Structure-Based Similarity Search with Graph Histograms
Objects like road networks, CAD/CAM components, electrical or electronic circuits, molecules, can be represented as graphs, in many modern applications. In this paper, we propose ...
Apostolos Papadopoulos, Yannis Manolopoulos
FCCM
1999
IEEE
111views VLSI» more  FCCM 1999»
15 years 11 months ago
Optimizing FPGA-Based Vector Product Designs
This paper presents a method, called multiple constant multiplier trees MCMTs, for producing optimized recon gurable hardware implementations of vector products. An algorithm for ...
Dan Benyamin, John D. Villasenor, Wayne Luk