313 search results - page 36 / 63 » Visual Design and Reasoning with the Use of Hypergraph Trans... |
161
click to vote
PLILP
1998
Springer
15 years 9 months 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...
141
click to vote
CSCW
2010
ACM
16 years 2 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...
143
Voted
GG
2010
Springer
15 years 6 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....
153
click to vote
FGCN
2008
IEEE
15 years 11 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...
121
Voted
SIGITE
2005
ACM
15 years 11 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...