Sciweavers

1825 search results - page 232 / 365
» Personal Information Organization using Web Annotations
Sort
View
BCSHCI
2008
15 years 6 months ago
Sharing vocabularies: tag usage in CiteULike
CiteULike is a collaborative tagging web site which lets users enter academic references into a database and describe these references using tags (categorizations of their own cho...
Sylvie Noël, Russell Beale
SEMWEB
2007
Springer
15 years 10 months ago
Understanding the Semantics of Ambiguous Tags in Folksonomies
The use of tags to describe Web resources in a collaborative manner has experienced rising popularity among Web users in recent years. The product of such activity is given the nam...
Ching-man Au Yeung, Nicholas Gibbins, Nigel Shadbo...
NAR
2008
175views more  NAR 2008»
15 years 4 months ago
Onto-CC: a web server for identifying Gene Ontology conceptual clusters
The Gene Ontology (GO) vocabulary has been extensively explored to analyze the functions of coexpressed genes. However, despite its extended use in Biology and Medical Sciences, t...
Rocío Romero-Záliz, Coral del Val, J...
SOSP
2007
ACM
16 years 1 months ago
Information flow control for standard OS abstractions
ion Flow Control for Standard OS Abstractions Maxwell Krohn Alexander Yip Micah Brodsky Natan Cliffer M. Frans Kaashoek Eddie Kohler† Robert Morris MIT CSAIL †UCLA http://flum...
Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky,...
TLDI
2005
ACM
151views Formal Methods» more  TLDI 2005»
15 years 10 months ago
Strict bidirectional type checking
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
Adam J. Chlipala, Leaf Petersen, Robert Harper