Sciweavers

2324 search results - page 399 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
SBACPAD
2003
IEEE
180views Hardware» more  SBACPAD 2003»
15 years 3 months ago
New Parallel Algorithms for Frequent Itemset Mining in Very Large Databases
Frequent itemset mining is a classic problem in data mining. It is a non-supervised process which concerns in finding frequent patterns (or itemsets) hidden in large volumes of d...
Adriano Veloso, Wagner Meira Jr., Srinivasan Parth...
TACAS
2010
Springer
255views Algorithms» more  TACAS 2010»
14 years 7 months ago
Satisfiability Modulo the Theory of Costs: Foundations and Applications
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
Alessandro Cimatti, Anders Franzén, Alberto...
KDD
2003
ACM
162views Data Mining» more  KDD 2003»
15 years 10 months ago
Improving spatial locality of programs via data mining
In most computer systems, page fault rate is currently minimized by generic page replacement algorithms which try to model the temporal locality inherent in programs. In this pape...
Karlton Sequeira, Mohammed Javeed Zaki, Boleslaw K...
ICNSC
2008
IEEE
15 years 4 months ago
A Theoretic Framework for Object Class Tracking
— suppose we have a video, the first half of this video is capturing the images of a sedan and the second half is recording the moving of a truck, can we use the same video track...
Yu Cao, Steve Read, Sachin Raka, Revanth Nandamuri
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
15 years 3 months ago
Research on Task Complexity as a Foundation for Augmented Cognition
In order to implement real-time adaptive augmented cognition, one of the focal points of our present research involves understanding the dimensions of task complexity. Task comple...
Martha E. Crosby, Marie Iding, David N. Chin