8780 search results - page 1391 / 1756 » On the Feasibility of Consistent Computations |
197
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present a novel tag removal method for tagged cardiac MR images. This method is based on a 2D bandstop filtering technique, which selectively attenuates the tag ...
220
click to vote
IWPSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a method to detect and visualize evolution patterns in C++ source code. Our method consists of three steps. First, we extract an annotated syntax tree (AST) from each v...
173
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
211
click to vote
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
— For a robot to understand a scene, we have to infer and extract meaningful information from vision sensor data. Since scene understanding consists in recognizing several visual...
155
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose Virtual Full Replication by Adaptive segmentation (ViFuR-A), and evaluate its ability to maintain scalability in a replicated real-time database. With full replication ...