215 search results - page 27 / 43 » Church-Rosser Made Easy |
SENSYS
2010
ACM
14 years 9 months ago
2010
ACM
As more and more physical information becomes available, a critical problem is enabling the simple and efficient exchange of this data. We present our design for a simple RESTful ...
102
click to vote
SIGSOFT
2006
ACM
16 years 15 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
LPNMR
2007
Springer
15 years 5 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
AUIC
2006
IEEE
15 years 5 months ago
2006
IEEE
Pointing is a natural way of communicating. Children in all cultures use pointing inherently. Attaching tags to our environment enables interaction by pointing. Visual tags are a g...
SIGUCCS
2003
ACM
15 years 5 months ago
2003
ACM
The Ringling School of Art and Design is a fully accredited four year college of visual art and design with a student population of approximately 1000. The Ringling School has ach...