3690 search results - page 557 / 738 » Computation with classical sequents |
145
click to vote
ACMACE
2005
ACM
15 years 11 months ago
2005
ACM
The Historic Oakland Cemetery in downtown Atlanta provides a unique setting for exploring the challenges of location-based mixed-reality experience design. Our objective is to ent...
150
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
130
click to vote
ITICSE
2005
ACM
15 years 11 months ago
2005
ACM
There are an increasing number of books published on the important topics of “object-oriented programming” and “object-oriented design” for use in education. However, obje...
138
click to vote
MM
2005
ACM
15 years 11 months ago
2005
ACM
We report experiments on the use of standard natural language processing (NLP) tools for the analysis of music lyrics. A significant amount of music audio has lyrics. Lyrics enco...
166
click to vote
UIST
2005
ACM
15 years 11 months 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...