4695 search results - page 726 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
184
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
161
click to vote
ICNP
2005
IEEE
16 years 6 days ago
2005
IEEE
Position-based routing protocols in ad hoc networks combine a forwarding strategy with a recovery algorithm. The former fails when there are void regions or physical obstacles tha...
164
click to vote
ICVGIP
2004
15 years 8 months ago
2004
Most fingerprint matching systems are based on matching minutia points between two fingerprint images. Each minutia is represented by a fixed number of attributes such as the loca...
158
click to vote
IC
2003
15 years 8 months ago
2003
—In spite of numerous search engines available on the web, no single engine is capable of performing “better” under all circumstances. This being the case, metasearch engines...
197
click to vote
ACL
1998
15 years 8 months ago
1998
This paper describes a novel method by which a dialogue agent can learn to choose an optimal dialogue strategy. While it is widely agreed that dialogue strategies should be formul...