5918 search results - page 863 / 1184 » A view of cloud computing |
188
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
145
click to vote
EUROPAR
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In an interpreted execution there is an interdependence between the interpreter's execution and the interpreted application's execution; the implementation of t...
127
click to vote
CVPR
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper proposes a novel approach to extract meaningful content information from video by collaborative integration of imageunderstanding and natural language processing. As an...
145
click to vote
CVPR
1997
IEEE
15 years 9 months ago
1997
IEEE
We describe a new method for camera autocalibration and scaled Euclidean structure and motion, from three or more views taken by a moving camera with fixed but unknown intrinsic ...
126
click to vote
EDOC
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...