5015 search results - page 299 / 1003 » Model Checking a Path |
168
click to vote
ESIAT
2009
IEEE
15 years 4 months ago
2009
IEEE
Through analysis of present pseudo-parallel genetic algorithm, propose a new dynamic sub-population pseudo-parallel genetic algorithm. It changes the condition that the magnitude o...
176
click to vote
ICDCSW
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper we present a gossip based protocol for path discovery in Mobile Ad Hoc Networks (MANETs). While in the classical gossip algorithm each node forwards a packet with th...
172
click to vote
CVPR
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a method for matching curves which accommodates large and small deformation. The method preserves geometric similarities in the case of small deformation, and loosens t...
164
click to vote
ICMCS
1994
IEEE
15 years 10 months ago
1994
IEEE
Continuous media playback suffers when a station's operating system offers insufficient 1/0 throughput. Conventional 1/0 system structures support a memory-oriented read and ...
155
click to vote
COMPGEOM
2005
ACM
15 years 8 months ago
2005
ACM
We illustrate the Link Solver software for computing 1-link shortest paths in weighted regions. The Link Solver implements a prune-and-search method that can be used to approximat...