Sciweavers

1220 search results - page 29 / 244
» Guided Data Repair
Sort
View
ICSE
2010
IEEE-ACM
14 years 19 days ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
GOSLER
1995
14 years 5 days ago
A Guided Tour Across the Boundaries of Learning Recursive Languages
The present paper deals with the learnability of indexed families of uniformly recursive languages from positive data as well as from both, positive and negative data. We consider...
Thomas Zeugmann, Steffen Lange
SWWS
2008
13 years 10 months ago
A User Guided Iterative Alignment Approach for Ontology Mapping
- The future of the Semantic Web envisions an interconnected network of data and systems where software agents can communicate seamlessly to perform complicated tasks with limited ...
Danny Chen, John Lastusky, James Starz, Stephen Ho...
CVPR
2011
IEEE
13 years 3 months ago
Feature Guided Motion Artifact Reduction with Structure-Awareness in 4D CT Images
In this paper, we propose a novel method to reduce the magnitude of 4D CT artifacts by stitching two images with a data-driven regularization constrain, which helps preserve the l...
Dongfeng Han, John Bayouth, Qi Song, sudershan Bha...
TVCG
2010
151views more  TVCG 2010»
13 years 7 months ago
Uncertainty-Aware Guided Volume Segmentation
—Although direct volume rendering is established as a powerful tool for the visualization of volumetric data, efficient and reliable feature detection is still an open topic. Us...
Jörg-Stefan Praßni, Timo Ropinski, Klau...