137 search results - page 22 / 28 » Integrating Correction into Incremental Validation |
SOSYM
2010
13 years 6 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
BIBM
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--Medical image segmentation has become an essential technique in clinical and research-oriented applications. Because manual segmentation methods are tedious, and fully au...
IJNSEC
2011
2011
Location-aware, Trust-based Detection and Isolation of Compromised Nodes in Wireless Sensor Networks
13 years 2 months ago
The detection and isolation of compromised nodes in wireless sensor networks is a difficult task. However, failure to identify and isolate compromised nodes results in significan...
ICDAR
2011
IEEE
12 years 7 months ago
2011
IEEE
- Large-scale digitisation has led to a number of new possibilities with regard to adaptive and learning based methods in the field of Document Image Analysis and OCR. For ground t...
CARS
2003
13 years 9 months ago
2003
A new augmented reality apparatus was evaluated. The device uses scanned infrared and visible lasers to project computer generated information such as surgical plans, entry pints f...