3820 search results - page 426 / 764 » Bounded Model Debugging |
122
Voted
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
144
Voted
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a novel dewarping technique for document images of bound volumes. This technique is a kind of model fitting techniques for estimating the warp of each text li...
103
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
124
click to vote
ICAPR
2005
Springer
15 years 9 months ago
2005
Springer
We present a new approach to detecting defects in random textures which requires only very few defect free samples for unsupervised training. Each product image is divided into ove...
123
click to vote
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
We consider the fundamental problem of waking up n processors sharing a multiple access channel. We assume the weakest model of synchronization, the locally synchronous model, in ...