Sciweavers

2721 search results - page 255 / 545
» An experimental analysis of Lemke-Howson algorithm
Sort
View
IUI
2009
ACM
16 years 3 months ago
Learning to recognize valuable tags
Many websites use tags as a mechanism for improving item metadata through collective user effort. Users of tagging systems often apply far more tags to an item than a system can ...
Shilad Sen, Jesse Vig, John Riedl
ASPDAC
2009
ACM
100views Hardware» more  ASPDAC 2009»
16 years 1 months ago
Noise minimization during power-up stage for a multi-domain power network
– With the popularity of Multiple Power Domain (MPD) design, the multi-domain power network noise analysis and minimization is becoming important. This paper describes an efficie...
Wanping Zhang, Yi Zhu, Wenjian Yu, Amirali Shayan ...
AMR
2007
Springer
154views Multimedia» more  AMR 2007»
16 years 25 days ago
Comparison of Dimension Reduction Methods for Database-Adaptive 3D Model Retrieval
Distance measures, along with shape features, are the most critical components in a shape-based 3D model retrieval system. Given a shape feature, an optimal distance measure will v...
Ryutarou Ohbuchi, Jun Kobayashi, Akihiro Yamamoto,...
CAV
2007
Springer
116views Hardware» more  CAV 2007»
16 years 25 days ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill
COMPGEOM
2004
ACM
16 years 2 days ago
An empirical comparison of techniques for updating Delaunay triangulations
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...
Leonidas J. Guibas, Daniel Russel