22864 search results - page 4305 / 4573 » An Integrated and |
123
Voted
ERCIMDL
2006
Springer
15 years 5 months ago
2006
Springer
In this demo proposal, we describe our prototype application, SIERRA, which combines text-based and content-based image retrieval and allows users to link together image content of...
106
click to vote
ESA
2006
Springer
15 years 5 months ago
2006
Springer
This paper considers two similar graph algorithms that work by repeatedly increasing "flow" along "augmenting paths": the Ford-Fulkerson algorithm for the maxi...
147
click to vote
EUPROJECTS
2006
Springer
15 years 5 months ago
2006
Springer
Pervasive Computing has postulated to invisibly integrate technology into everyday objects in such a way, that these objects turn into smart things. Not only a single object of thi...
124
click to vote
EUROPAR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Computer mobility allows people to use computers in varied and changing environments. This variability forces applications to adapt thus requiring awareness of the comput...
133
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...