Sciweavers

1726 search results - page 107 / 346
» A resistance-based approach to consensus algorithm performan...
Sort
View
EVOW
2003
Springer
15 years 9 months ago
Search Space Analysis of the Linear Ordering Problem
Abstract. The Linear Ordering Problem (LOP) is an NP-hard combinatorial optimization problem that arises in a variety of applications and several algorithmic approaches to its solu...
Tommaso Schiavinotto, Thomas Stützle
ICIP
2002
IEEE
16 years 6 months ago
A multiresolution technique for video indexing and retrieval
This paper presents a novel approach to the multiresolution analysis and scalability in video indexing and retrieval. A scalable algorithm for video parsing and key-frame extracti...
Janko Calic, Ebroul Izquierdo
PLDI
2011
ACM
14 years 7 months ago
Precise and compact modular procedure summaries for heap manipulating programs
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagi...
DATE
2005
IEEE
101views Hardware» more  DATE 2005»
15 years 10 months ago
Compiler-Directed Instruction Duplication for Soft Error Detection
In this work, we experiment with complier-directed instruction duplication to detect soft errors in VLIW datapaths . In the proposed approach, the compiler determines the instruct...
Jie S. Hu, Feihui Li, Vijay Degalahal, Mahmut T. K...
BMCBI
2008
136views more  BMCBI 2008»
15 years 4 months ago
A comparison of machine learning algorithms for chemical toxicity classification using a simulated multi-scale data model
Background: Bioactivity profiling using high-throughput in vitro assays can reduce the cost and time required for toxicological screening of environmental chemicals and can also r...
Richard Judson, Fathi Elloumi, R. Woodrow Setzer, ...