3068 search results - page 415 / 614 » Separation Results on the |
222
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
170
click to vote
EURONGI
2006
Springer
15 years 10 months ago
2006
Springer
Structured overlay networks is an important and interesting primitive that can be used by diverse peer-to-peer applications. Multiple overlays can result either because of network ...
178
click to vote
GFKL
2006
Springer
15 years 10 months ago
2006
Springer
The present study concentrates on the relation between sentence length (SL) and word length (WL) as a possible factor in text classification. The dependence of WL and SL is discuss...
199
click to vote
AIPR
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a method to process axial monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only to ...
163
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Wirelength estimation techniques typically contain a site density function that enumerates all possible path sites for each wirelength in an architecture and an occupation probabil...