Sciweavers

3174 search results - page 390 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
TRECVID
2007
15 years 7 months ago
The MediaMill TRECVID 2007 Semantic Video Search Engine
In this paper we describe our TRECVID 2007 experiments. The MediaMill team participated in two tasks: concept detection and search. For concept detection we extract regionbased im...
Cees G. M. Snoek, I. Everts, Jan van Gemert, Jan-M...
CEC
2010
IEEE
15 years 7 months ago
Constrained global optimization of low-thrust interplanetary trajectories
The optimization of spacecraft trajectories can be formulated as a global optimization task. The complexity of the problem depends greatly on the problem formulation, on the spacec...
Chit Hong Yam, David Di Lorenzo, Dario Izzo
BMCBI
2008
130views more  BMCBI 2008»
15 years 6 months ago
A database of phylogenetically atypical genes in archaeal and bacterial genomes, identified using the DarkHorse algorithm
Background: The process of horizontal gene transfer (HGT) is believed to be widespread in Bacteria and Archaea, but little comparative data is available addressing its occurrence ...
Sheila Podell, Terry Gaasterland, Eric E. Allen
CGF
2010
144views more  CGF 2010»
15 years 6 months ago
Illustrative White Matter Fiber Bundles
Diffusion Tensor Imaging (DTI) has made feasible the visualization of the fibrous structure of the brain white matter. In the last decades, several fiber-tracking methods have bee...
Ron Otten, Anna Vilanova, Huub van De Wetering
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 6 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002