206 search results - page 30 / 42 » Sharing in the Weak Lambda-Calculus |
95
Voted
RTA
1991
Springer
15 years 4 months ago
1991
Springer
A term rewriting system is called complete if it is both confluent and strongly norrealizing. Barendregt and Klop showed that the disjoint union of complete term rewriting systems...
106
click to vote
MOBISYS
2010
ACM
15 years 2 months ago
2010
ACM
Docx2Go is a new framework to support editing of shared documents on mobile devices. Three high-level requirements influenced its design -- namely, the need to adapt content, espe...
196
Voted
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Multiple surface searching with only image intensity information is a difficult job in the presence of high noise and weak edges. We present in this paper a novel method for global...
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...
121
click to vote
DICTA
2008
15 years 1 months ago
2008
Many object categories are better characterized by the shape of their contour than by local appearance properties like texture or color. Multi-local features are designed in order...