561 search results - page 46 / 113 » A Constructive Approach to Testing Model Transformations |
ICDAR
2009
IEEE
14 years 9 months ago
2009
IEEE
The paper presents a clutter detection and removal algorithm for complex document images. The distance transform based approach is independent of clutter's position, size, sh...
ISMVL
2007
IEEE
15 years 6 months ago
2007
IEEE
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— We present a comparative study of two spatially resolved macroscopic models of an autonomous robotic swarm. In previous experiments, the collective behavior of 15 autonomous sw...
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
101
click to vote
WADT
1998
Springer
15 years 3 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...