Sciweavers

1325 search results - page 192 / 265
» The Incidence Propagation Method
Sort
View
DAGSTUHL
1996
13 years 10 months ago
Specialization of Imperative Programs Through Analysis of Relational Expressions
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
Alexander Sakharov
UAI
1993
13 years 10 months ago
Probabilistic Assumption-Based Reasoning
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...
Jürg Kohlas, Paul-André Monney
EUROGRAPHICS
2010
Eurographics
13 years 10 months ago
User Controllable Color Transfer
This paper presents an image editing framework where users use reference images to indicate desired color edits. In our approach, users specify pairs of strokes to indicate corres...
Xiaobo An and Fabio Pellacini
DEXAW
2010
IEEE
215views Database» more  DEXAW 2010»
13 years 9 months ago
An Evaluation Approach for Dynamics-Aware Applications Using Linked Data
One possible threat to linked data quality is the lack of knowledge about the dynamics in dependent remote datasets. Linked data consuming applications often need to be aware of ch...
Niko Popitsch, Bernhard Haslhofer, Elaheh Momeni R...
FMICS
2010
Springer
13 years 9 months ago
Model Checking the FlexRay Physical Layer Protocol
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
Michael Gerke 0002, Rüdiger Ehlers, Bernd Fin...