Sciweavers

1940 search results - page 108 / 388
» Graph Transformation with Variables
Sort
View
CHI
2005
ACM
16 years 3 months ago
Polymorphic letters: transforming pen movements to extend written expression
We are developing a digital writing tool, Polymorphic Letters (PL), to investigate hand and pen movements as they may extend and enrich expression in written language. PL recogniz...
Andrea Taylor, Zoltan Foley-Fisher, Carol Stroheck...
JTRES
2009
ACM
15 years 9 months ago
On transforming Java-like programs into memory-predictable code
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer...
Diego Garbervetsky, Sergio Yovine, Víctor A...
COGSCI
2004
106views more  COGSCI 2004»
15 years 3 months ago
Can musical transformations be implicitly learned?
The dominant theory of what people can learn implicitly is that they learn chunks of adjacent elements in sequences. A type of musical grammar that goes beyond specifying allowabl...
Zoltan Dienes, H. Christopher Longuet-Higgins
LR
2011
108views more  LR 2011»
14 years 6 months ago
Modeling production networks with discrete processes by means of communities of autonomous units
Abstract Communities of autonomous units are devices for the visual modeling of interactive logistic processes. The framework is founded on rule-based graph transformation and allo...
Hans-Jörg Kreowski, Sabine Kuske, Caroline vo...
FAW
2008
Springer
111views Algorithms» more  FAW 2008»
15 years 5 months ago
Efficient First-Order Model-Checking Using Short Labels
We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...