1512 search results - page 155 / 303 » connection 2006 |
180
click to vote
EVOW
2006
Springer
15 years 9 months ago
2006
Springer
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...
144
click to vote
EWSA
2006
Springer
15 years 9 months ago
2006
Springer
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
142
click to vote
FINTAL
2006
15 years 9 months ago
2006
We present a regular approximation of Link Grammar, a dependency-type formalism with context-free expressive power, as a first step toward a finite-state joint inference system. Th...
165
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
206
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...