2646 search results - page 456 / 530 » Local Type Inference |
105
Voted
ISER
2004
Springer
15 years 6 months ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
130
click to vote
LATIN
2004
Springer
15 years 6 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
118
Voted
MWCN
2004
Springer
15 years 6 months ago
2004
Springer
: Mobility management is an important task in wireless networks. The Mobile IP protocol provides a basic solution to the mobility management. However, Mobile IP suffers from severa...
108
click to vote
AVSS
2003
IEEE
15 years 6 months ago
2003
IEEE
We present a distributed vision-based surveillance system. The system acquires and processes grey level images through one or multiple Camera Units monitoring certain area(s) via ...
84
Voted
CEC
2003
IEEE
15 years 6 months ago
2003
IEEE
We present an improvement to distributed GAs based on migration of individuals between several concurrently evolving populations. The idea behind our improvement is to not only use...