1413 search results - page 162 / 283 » Bisimilarity of Open Terms |
157
click to vote
SIGCSE
2005
ACM
16 years 3 days ago
2005
ACM
Professional software developers use version control systems to coordinate their work, and to provide an unwindable history of their project’s evolution. In contrast, students i...
143
click to vote
SIGITE
2005
ACM
16 years 3 days 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...
187
click to vote
SIGITE
2005
ACM
16 years 3 days ago
2005
ACM
The direct experience we had with teaching a summer pre-college computing course in which we adopted an online portfolio approach has led us to consider the use of online portfoli...
191
click to vote
UIST
2005
ACM
16 years 3 days ago
2005
ACM
A significant problem encounteredwhen building Augmented Reality (AR) systems is that all spatial knowledge about the world has uncertainty associated with it. This uncertainty m...
205
click to vote
XIMEP
2005
ACM
16 years 3 days ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...