Sciweavers

3570 search results - page 255 / 714
» Using the Small-World Model to Improve Freenet Performance
Sort
View
ECAI
2000
Springer
15 years 11 months ago
Tree-based Heuristics in Modal Theorem Proving
We use a strong form of the tree model property to boost the performance of resolution-based first-order theorem provers on the so-called relational translations of modal formulas...
Carlos Areces, Rosella Gennari, Juan Heguiabehere,...
ISCA
2008
IEEE
150views Hardware» more  ISCA 2008»
16 years 1 months ago
Fetch-Criticality Reduction through Control Independence
Architectures that exploit control independence (CI) promise to remove in-order fetch bottlenecks, like branch mispredicts, instruction-cache misses and fetch unit stalls, from th...
Mayank Agarwal, Nitin Navale, Kshitiz Malik, Matth...
PPSN
2004
Springer
15 years 12 months ago
Distribution Tree-Building Real-Valued Evolutionary Algorithm
This article describes a new model of probability density function and its use in estimation of distribution algorithms. The new model, the distribution tree, has interesting prope...
Petr Posik
CVPR
2007
IEEE
16 years 8 months ago
A Hierarchical Model of Shape and Appearance for Human Action Classification
We present a novel model for human action categorization. A video sequence is represented as a collection of spatial and spatial-temporal features by extracting static and dynamic...
Juan Carlos Niebles, Fei-Fei Li 0002
DAC
2004
ACM
16 years 1 days ago
Extending the transaction level modeling approach for fast communication architecture exploration
System-on-Chip (SoC) designs are increasingly becoming more complex. Efficient on-chip communication architectures are critical for achieving desired performance in these systems....
Sudeep Pasricha, Nikil D. Dutt, Mohamed Ben-Romdha...