1580 search results - page 126 / 316 » Non-Interference Through Determinism |
ICPR
2010
IEEE
13 years 9 months ago
2010
IEEE
The quality of the lung nodule models determines the success of lung nodule detection. This paper describes aspects of our data-driven approach for modeling lung nodules using the...
DMS
2010
13 years 9 months ago
2010
This work was proposed as a Doctoral Thesis of Applied Computing Course at Brazilian National Institute for Space Research (INPE) and is a ongoing work. The main purpose of SICSDA ...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
In many signal processing problems, it may be fruitful to represent the signal under study in a redundant linear decomposition called a frame. If a probabilistic approach is adopt...
PRICAI
2010
Springer
13 years 8 months ago
2010
Springer
This paper studies the problem of multi-agent planning in the environment where agents may need to cooperate in order to achieve their individual goals but they do so only if the c...
PVLDB
2010
13 years 8 months ago
2010
Virtual views are a mechanism that facilitates re-use and makes queries easier to express. However the use of iterative view definitions makes very simple query evaluation and an...