Sciweavers

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