30570 search results - page 5713 / 6114 » An Image Data Model |
131
click to vote
EUROPAR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Clusters of loosely connected machines are becoming an important model for commercial computing. The cost/performance ratio makes these scale-out solutions an attractive ...
179
click to vote
FROCOS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
145
click to vote
FSTTCS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
196
click to vote
GPCE
2007
Springer
16 years 29 days ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
163
Voted
HUC
2007
Springer
16 years 29 days ago
2007
Springer
Domestic technologies have been a popular area of study for ubiquitous computing researchers, however there is relatively little recent data on how families currently use and share...