20059 search results - page 3635 / 4012 » The Satellite Data Model |
142
click to vote
CSL
2006
Springer
15 years 5 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
136
click to vote
DAGM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A method for exploiting the information in low-level image segmentations for the purpose of object recognition is presented. The key idea is to use a whole ensemble of se...
144
click to vote
DAS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Training and evaluation of techniques for handwriting recognition and retrieval is a challenge given that it is difficult to create large ground-truthed datasets. This is...
121
click to vote
DCOSS
2006
Springer
15 years 5 months ago
2006
Springer
The scope of wireless sensor network (WSN) applications has traditionally been restricted by physical sensor coverage and limited computational power. Meanwhile, IP networks like t...
142
click to vote
DCOSS
2006
Springer
15 years 5 months ago
2006
Springer
User access control in sensor networks defines a process of granting user the access right to the information and resources. It is essential for the future real sensor network depl...