Sciweavers

1016 search results - page 153 / 204
» Explore or Exploit
Sort
View
ENTCS
2008
132views more  ENTCS 2008»
13 years 8 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
DKE
2006
139views more  DKE 2006»
13 years 7 months ago
Information extraction from structured documents using k-testable tree automaton inference
Information extraction (IE) addresses the problem of extracting specific information from a collection of documents. Much of the previous work on IE from structured documents, suc...
Raymond Kosala, Hendrik Blockeel, Maurice Bruynoog...
BMCBI
2007
123views more  BMCBI 2007»
13 years 7 months ago
GO for gene documents
Annotating genes and their products with Gene Ontology codes is an important area of research. One approach for doing this is to use the information available about these genes in...
Padmini Srinivasan, Xin Ying Qiu
IJCV
2006
145views more  IJCV 2006»
13 years 7 months ago
Simultaneous Object Recognition and Segmentation from Single or Multiple Model Views
We present a novel Object Recognition approach based on affine invariant regions. It actively counters the problems related to the limited repeatability of the region detectors, an...
Vittorio Ferrari, Tinne Tuytelaars, Luc J. Van Goo...
IJHPCA
2006
113views more  IJHPCA 2006»
13 years 7 months ago
Heterogeneity-Aware Workload Distribution in Donation-Based Grids
In this paper, we explore the tradeoffs and opportunities in porting a high-throughput Grid computing middleware to a high-performance service oriented environment. We present the...
Rahul Trivedi, Abhishek Chandra, Jon B. Weissman