313 search results - page 36 / 63 » Visual Design and Reasoning with the Use of Hypergraph Trans... |
PLILP
1998
Springer
14 years 29 days ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
CSCW
2010
ACM
14 years 5 months ago
2010
ACM
In a world of widespread information access, information can overwhelm collaborators, even with visualizations to help. We extend prior work to study the effect of shared informat...
GG
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
FGCN
2008
IEEE
14 years 3 months ago
2008
IEEE
A mobile robot with various types of sensors via ubiquitous networks is introduced. We designed a mobile robot composed of TCP/IP network, wireless camera and several sensors in a...
SIGITE
2005
ACM
14 years 2 months ago
2005
ACM
Educators have long been trying to spice things up in their introductory programming courses. Traditionally, twodimensional arrays have been taught non-graphically using contrived...