400 search results - page 62 / 80 » Moving Proofs-As-Programs into Practice |
CARS
2004
13 years 9 months ago
2004
In this paper, we present a hybrid method for calibration of an endoscope and its registration with an active optical tracker. Practically, both operations are done simultaneously...
DICTA
2003
13 years 9 months ago
2003
Partially supervised segmentation, that is, segmentation with always incomplete training data has many practical applications in image analysis and retrieval. This paper proposes a...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
IJMMS
2008
13 years 7 months ago
2008
When we think of mobility in technical terms, we think of topics such as bandwidth, resource management, location, and wireless networks. When we think of mobility in social or cu...
TMC
2008
13 years 7 months ago
2008
Intrusion detection in Wireless Sensor Network (WSN) is of practical interest in many applications such as detecting an intruder in a battlefield. The intrusion detection is define...