Sciweavers

2819 search results - page 21 / 564
» Automatic Structures
Sort
View
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
15 years 9 days ago
Automatic Verification of Determinism for Structured Parallel Programs
Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...
ICIP
2009
IEEE
14 years 11 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»
14 years 8 months ago
OSMOSE: automatic structural testing of executables
Sébastien Bardin, Philippe Herrmann
JUCS
2010
139views more  JUCS 2010»
14 years 8 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
15 years 5 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ý