315 search results - page 18 / 63 » A General Small Cancellation Theory |
TPHOL
2002
IEEE
14 years 13 days ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
CSCW
2004
ACM
14 years 29 days ago
2004
ACM
"Blogging" is a Web-based form of communication that is rapidly becoming mainstream. In this paper, we report the results of an ethnographic study of blogging, focusing ...
MOMM
2009
ACM
14 years 6 days ago
2009
ACM
New directions in the provision of end-user computing experiences mean that we need to determine the best way to share data between small mobile computing devices. Partitioning la...
COLING
1996
13 years 8 months ago
1996
Little notice has been taken of punctuation in the field of natural language processing, chiefly due to the lack of any coherent theory on which to base implementations. Some work...
ICRA
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper investigates how to "observe" a planar object being pushed by a finger. The pushing is governed by a nonlinear system that relates through contact the object ...