23704 search results - page 451 / 4741 » Data and Information as Property |
191
click to vote
BILDMED
2006
15 years 8 months ago
2006
Abstract. We propose an algorithm for the segmentation of blood vessels in the kind of CT-data typical for diagnostics in a clinical environment. Due to poor quality and variance i...
180
click to vote
FORTE
2001
15 years 8 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
199
click to vote
IJCAI
2001
15 years 8 months ago
2001
We present a new approach to inferring a probability distribution which is incompletely specified by a number of linear constraints. We argue that the currently most popular appro...
138
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
In this paper simulation studies of the ultrasound computerized tomography (CT) technique employing time of flight data is presented. An enhanced genetic algorithm based reconstru...
204
click to vote
SIGKDD
2008
15 years 7 months ago
2008
A cellular automaton is a discrete, dynamical system composed of very simple, uniformly interconnected cells. Cellular automata may be seen as an extreme form of simple, localized...