Sciweavers

2819 search results - page 21 / 564
» Automatic Structures
Sort
View
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
13 years 6 months ago
Automatic Verification of Determinism for Structured Parallel Programs
Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...
ICIP
2009
IEEE
13 years 5 months ago
An automatic Structure-Aware image extrapolation applied to error concealment
A novel framework for spatially estimating unknown image data is presented. Common applications include inpainting, concealment of transmission errors, prediction in video coding,...
Haricharan Lakshman, Patrick Ndjiki-Nya, Martin K&...
STVR
2011
54views more  STVR 2011»
13 years 2 months ago
OSMOSE: automatic structural testing of executables
Sébastien Bardin, Philippe Herrmann
JUCS
2010
139views more  JUCS 2010»
13 years 2 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
TSD
2000
Springer
13 years 11 months ago
Automatic Functor Assignment in the Prague Dependency Treebank
The aim of this paper is to describe and evaluate a system that automates a part of the transition from analytical to tectogrammatical tree structures within the Prague Dependency...
Zdenek Zabokrtský