14809 search results - page 2605 / 2962 » Model transformation by demonstration |
200
click to vote
SIGGRAPH
2000
ACM
15 years 12 months ago
2000
ACM
This paper introduces and presents a solution to the “Escherization” problem: given a closed figure in the plane, find a new closed figure that is similar to the original a...
201
click to vote
CONCUR
2000
Springer
15 years 12 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
213
click to vote
ICDE
2010
IEEE
15 years 12 months ago
2010
IEEE
Existing sequence mining algorithms mostly focus on mining for subsequences. However, a large class of applications, such as biological DNA and protein motif mining, require effici...
173
click to vote
APSEC
1999
IEEE
15 years 12 months ago
1999
IEEE
The management of complexity in large systems is traditionally focused on the modeling and management of classes and hierarchies of classes. In order to improve the compositional ...
217
click to vote
ARVLSI
1999
IEEE
15 years 12 months ago
1999
IEEE
The ability of animals to select a limited region of sensory space for scrutiny is an important factor in dealing with cluttered or complex sensory environments. Such an attention...