12659 search results - page 2188 / 2532 » The distributed breakout algorithms |
173
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
In recent years, there has been an increased need for surveillance capabilities in both civilian and military arenas. Mobile unmanned sensor fleets have long been envisioned as a ...
202
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
168
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
Given a finite set of words w1, . . . , wn independently drawn according to a fixed unknown distribution law P called a stochastic language, an usual goal in Grammatical Inference ...
192
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
Solving the tracking of an articulated structure in a reasonable time is a complex task mainly due to the high dimensionality of the problem. A new optimization method, called Sto...
185
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
A Field Programmable Gate Array (FPGA), when used as a platform for implementing special-purpose computing architectures, offers the potential for increased functional parallelism...