7393 search results - page 10 / 1479 » Synthesis-for-testability using transformations |
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
marization using Abstract Transformers Daniel Kr
ISVC
2009
Springer
14 years 1 months ago
2009
Springer
We present a real-time approach for circular and polygonal road signs detection1 in still images, regardless of their pose and orientation. Object detection is done using a pairwis...
DGCI
2006
Springer
13 years 11 months ago
2006
Springer
We propose a fast method for computing distance transforms and skeletons of 3D objects using programmable Graphics Processing Units (GPUs). We use an efficient method, called dista...
ENTCS
2008
13 years 7 months ago
2008
The current paper presents a novel approach to implement a graph transformation engine as an EJB3-specific plugin by using EJB QL queries for pattern matching. The essence of the ...
ENTCS
2006
13 years 7 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...