Sciweavers

778 search results - page 70 / 156
» Text Adaptation Using Formal Concept Analysis
Sort
View
WINE
2010
Springer
189views Economy» more  WINE 2010»
15 years 27 days ago
The Limits of Smoothness: A Primal-Dual Framework for Price of Anarchy Bounds
Abstract. We show a formal duality between certain equilibrium concepts, including the correlated and coarse correlated equilibrium, and analysis frameworks for proving bounds on t...
Uri Nadav, Tim Roughgarden
ADAEUROPE
2003
Springer
15 years 6 months ago
Quasar: A New Tool for Concurrent Ada Programs Analysis
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
Sami Evangelista, Claude Kaiser, Jean-Franç...
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
15 years 9 months ago
Modeling Event Stream Hierarchies with Hierarchical Event Models
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
Jonas Rox, Rolf Ernst
FLAIRS
2008
15 years 5 months ago
Towards Verification of Storyboards
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
Rainer Knauf, Horst Duesel
ICPR
2010
IEEE
15 years 1 months ago
Removing Rule-Lines from Binary Handwritten Arabic Document Images Using Directional Local Profile
In this paper, we present a novel approach for detecting and removing pre-printed rule-lines from binary handwritten Arabic document images. The proposed technique is based on a d...
Zhixin Shi, Srirangaraj Setlur, Venu Govindaraju