Sciweavers

1399 search results - page 87 / 280
» New Algorithms for k-Center and Extensions
Sort
View
BMCBI
2011
13 years 3 months ago
PhyloSim - Monte Carlo simulation of sequence evolution in the R statistical computing environment
Background: The Monte Carlo simulation of sequence evolution is routinely used to assess the performance of phylogenetic inference methods and sequence alignment algorithms. Progr...
Botond Sipos, Tim Massingham, Gregory E. Jordan, N...
ICCV
2007
IEEE
14 years 11 months ago
High Detection-rate Cascades for Real-Time Object Detection
A new strategy is proposed for the design of cascaded object detectors of high detection-rate. The problem of jointly minimizing the false-positive rate and classification complex...
Hamed Masnadi-Shirazi, Nuno Vasconcelos
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
14 years 3 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
ICRA
2008
IEEE
156views Robotics» more  ICRA 2008»
14 years 3 months ago
Adapting the wavefront expansion in presence of strong currents
— The wavefront expansion is commonly used for path planning tasks and appreciated for its efficiency. However, the existing extensions able to handle currents are subject to in...
Michaël Soulignac, Patrick Taillibert, Michel...
IPPS
2006
IEEE
14 years 3 months ago
A calculus of functional BSP programs with projection
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
Frédéric Loulergue