12193 search results - page 2271 / 2439 » It's not all about |
205
click to vote
SAB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
188
click to vote
SERA
2004
Springer
15 years 11 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
148
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
172
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
Traditional databases have focused on the issue of reducing I/O cost as it is the bottleneck in many operations. As databases become increasingly accepted in areas such as Geograp...
194
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
A frequent type of query in spatial networks (e.g., road networks) is to find the K nearest neighbors (KNN) of a given query object. With these networks, the distances between ob...