30570 search results - page 6025 / 6114 » An Image Data Model |
166
click to vote
GRID
2007
Springer
15 years 11 months ago
2007
Springer
-- To date, not enough attention has been paid to issues surrounding the description and enforcement of policies for controlling Grid resources. These policies define the permitted...
150
click to vote
ICS
2007
Tsinghua U.
15 years 11 months ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
194
click to vote
LOCA
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present an approach to analyzing the social behaviors that occur in a typical office space. We describe a system consisting of over 200 motion sensors connected ...
136
click to vote
PET
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The Domain Name System (DNS) is the only globally deployed Internet service that provides user-friendly naming for Internet hosts. It was originally designed to return th...
171
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...