Sciweavers

3333 search results - page 585 / 667
» Abstract Proof Search
Sort
View
ICCAD
2007
IEEE
234views Hardware» more  ICCAD 2007»
15 years 7 months ago
Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors
Abstract: Polynomial computations over fixed-size bitvectors are found in many practical datapath designs. For efficient RTL synthesis, it is important to identify good decompositi...
Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon ...
MMM
2010
Springer
154views Multimedia» more  MMM 2010»
15 years 7 months ago
Learning Cooking Techniques from YouTube
Abstract. Cooking is a human activity with sophisticated process. Underlying the multitude of culinary recipes, there exist a set of fundamental and general cooking techniques, suc...
Guangda Li, Richang Hong, Yantao Zheng, Shuicheng ...
ADBIS
2006
Springer
165views Database» more  ADBIS 2006»
15 years 7 months ago
Fragmenting XML Documents via Structural Constraints
Abstract. XML query processors suffer from main-memory limitations that prevent them from processing large XML documents. While content-based predicates can be used to project down...
Angela Bonifati, Alfredo Cuzzocrea, Bruno Zinno
AI
2006
Springer
15 years 7 months ago
Adaptive Fraud Detection Using Benford's Law
Abstract. Adaptive Benford's Law [1] is a digital analysis technique that specifies the probabilistic distribution of digits for many commonly occurring phenomena, even for in...
Fletcher Lu, J. Efrim Boritz, H. Dominic Covvey
143
Voted
AUSAI
2004
Springer
15 years 7 months ago
Using Classification to Evaluate the Output of Confidence-Based Association Rule Mining
Abstract. Association rule mining is a data mining technique that reveals interesting relationships in a database. Existing approaches employ different parameters to search for int...
Stefan Mutter, Mark Hall, Eibe Frank