1210 search results - page 86 / 242 » Newton's method and its use in optimization |
102
click to vote
BMEI
2008
IEEE
15 years 6 months ago
2008
IEEE
Multiple sequence alignment is the most fundamental task in bioinformatics and computational biology. In this paper, we present a new algorithm to conduct multiple sequences align...
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
108
click to vote
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
118
click to vote
DICTA
2003
15 years 1 months ago
2003
Abstract. In this paper we solve the problem of computing exact continuous optimal curves and surfaces for image segmentation and 3D reconstruction, using a maximal flow approach ...
CAGD
2002
14 years 11 months ago
2002
Many applications, such as contour machining, rapid prototyping, and reverse engineering by laser scanner or coordinate measuring machine, involve sampling of free-from surfaces a...