12981 search results - page 2247 / 2597 » Model Checking (Abstract) |
102
click to vote
EUROPAR
2007
Springer
15 years 11 months 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 ...
157
click to vote
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...
142
click to vote
EVOW
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This work describes an evolutionary approach to texture segmentation, a long-standing and important problem in computer vision. The difficulty of the problem can be relat...
137
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
136
click to vote
FROCOS
2007
Springer
15 years 11 months 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:...