206 search results - page 24 / 42 » Sharing in the Weak Lambda-Calculus |
107
Voted
EKAW
2004
Springer
15 years 5 months ago
2004
Springer
For more than a decade, ontologies have been proposed as a means to enable sharing and reuse of knowledge. While originally relatively narrow information landscapes have been in mi...
128
click to vote
ISVC
2007
Springer
15 years 6 months ago
2007
Springer
We present a novel boosting algorithm where temporal consistency is addressed in a short-term way. Although temporal correlation of observed data may be an important cue for classi...
127
click to vote
POPL
1997
ACM
15 years 4 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
107
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
Tags have recently become popular as a means of annotating and organizing Web pages and blog entries. Advocates of tagging argue that the use of tags produces a 'folksonomy&#...
113
click to vote
MOBISYS
2009
ACM
16 years 1 months ago
2009
ACM
Mobile devices often store data in reduced resolutions or custom formats in order to accommodate resource constraints and tailormade software. The Polyjuz framework enables sharin...