8828 search results - page 1478 / 1766 » Formal methods in practice |
161
click to vote
WABI
2007
Springer
16 years 26 days ago
2007
Springer
Graph-theoretic models have come to the forefront as some of the most powerful and practical methods for sequence assembly. Simultaneously, the computational hardness of the underl...
168
click to vote
WEA
2007
Springer
16 years 26 days ago
2007
Springer
We introduce a dynamic technique for fast route planning in large road networks. For the first time, it is possible to handle the practically relevant scenarios that arise in pres...
179
click to vote
3DPVT
2006
IEEE
16 years 25 days ago
2006
IEEE
Shape from silhouette methods are extensively used to model dynamic and non-rigid objects using binary foreground-background images. Since the problem of reconstructing shapes fro...
172
click to vote
BROADNETS
2006
IEEE
16 years 25 days ago
2006
IEEE
— We introduce a new algorithmic framework for advanced channel reservation in ultra high speed networks, called Graded Channel Reservation (GCR). GCR allows users to specify min...
156
click to vote
CGI
2006
IEEE
16 years 25 days ago
2006
IEEE
A novel approach for appearance and geometry completion over point-sampled geometry is presented in this paper. Based on the result of surface clustering and the given texture samp...