790 search results - page 103 / 158 » Subexponential Parameterized Algorithms |
142
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
114
click to vote
CLEF
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper provides baseline results for the medical automatic annotation task of CLEF 2007 by applying the image retrieval in medical applications (IRMA)-based algorithm...
114
click to vote
IWINAC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We consider the numerical evolutionary optimization of dynamic molecular alignment by shaped femtosecond laser pulses. We study a simplified model of this quantum contro...
145
click to vote
SCALESPACE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The Mumford-Shah functional minimization, and related algorithms for image segmentation, involve a tradeoff between a twodimensional image structure and one-dimensional ...
122
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...