Sciweavers

4276 search results - page 433 / 856
» Techniques for Empirical Validation
Sort
View
SIGMOD
2001
ACM
184views Database» more  SIGMOD 2001»
16 years 7 months ago
Locally Adaptive Dimensionality Reduction for Indexing Large Time Series Databases
Similarity search in large time series databases has attracted much research interest recently. It is a difficult problem because of the typically high dimensionality of the data....
Eamonn J. Keogh, Kaushik Chakrabarti, Sharad Mehro...
ICSM
2006
IEEE
16 years 25 days ago
Model-Based Testing of Community-Driven Open-Source GUI Applications
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
Qing Xie, Atif M. Memon
CORR
2010
Springer
156views Education» more  CORR 2010»
15 years 6 months ago
On the bias of BFS
Abstract--Breadth First Search (BFS) and other graph traversal techniques are widely used for measuring large unknown graphs, such as online social networks. It has been empiricall...
Maciej Kurant, Athina Markopoulou, Patrick Thiran
INTEGRATION
2006
82views more  INTEGRATION 2006»
15 years 6 months ago
On whitespace and stability in physical synthesis
In the context of physical synthesis, large-scale standard-cell placement algorithms must facilitate incremental changes to layout, both local and global. In particular, flexible ...
Saurabh N. Adya, Igor L. Markov, Paul G. Villarrub...
TCAD
2008
167views more  TCAD 2008»
15 years 6 months ago
System-Level Dynamic Thermal Management for High-Performance Microprocessors
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...
Amit Kumar 0002, Li Shang, Li-Shiuan Peh, Niraj K....