13734 search results - page 2379 / 2747 » Abstractions of data types |
154
click to vote
FASE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
189
click to vote
FIMH
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper, a statistical atlas of DT-MRIs based on a population of nine ex vivo normal canine hearts is compared with a human cardiac DT-MRI and a commonly used synth...
171
click to vote
FROCOS
2007
Springer
16 years 25 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:...
139
click to vote
FSTTCS
2007
Springer
16 years 25 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...
158
click to vote
GI
2007
Springer
16 years 25 days ago
2007
Springer
: Business information systems provide computer support for decision making across huge data sets. Smart Items are miniaturized computer and sensing systems embedded into physical ...