2634 search results - page 57 / 527 » Faster Than Uppaal |
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Inference of phylogenetic trees using the maximum likelihood (ML) method is NP-hard. Furthermore, the computation of the likelihood function for huge trees of more than 1,000 orga...
ACCV
2006
Springer
14 years 2 months ago
2006
Springer
Nowadays, the use of machine learning methods for visual object detection has become widespread. Those methods are robust. They require an important processing power and a high mem...
ACCV
2006
Springer
14 years 2 months ago
2006
Springer
An occluding contour of a sphere is projected to a conic in the perspective image, and such a conic is called a sphere image. Recently, it has been discovered that each sphere imag...
ASAP
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper focuses on SIMD implementations of the 2D discrete wavelet transform (DWT). The transforms considered are Daubechies’ real-to-real method of four coefficients (Daub-...
ASPDAC
2005
ACM
14 years 2 months ago
2005
ACM
A new paradigm is introduced for floorplanning any combination of fixed-shape and variable-shape blocks under tight fixedoutline area constraints and a wirelength objective. Dra...