Sciweavers

2830 search results - page 240 / 566
» No Science without Semantics
Sort
View
HICSS
2008
IEEE
151views Biometrics» more  HICSS 2008»
15 years 9 months ago
Structure and Network in the YouTube Core
In this paper, we present results of an empirical investigation into the social structure of YouTube, addressing friend relations and their correlation with tags applied to upload...
John C. Paolillo
LICS
2007
IEEE
15 years 8 months ago
Light Logics and Optimal Reduction: Completeness and Complexity
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
LICS
2006
IEEE
15 years 8 months ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson
ENC
2005
IEEE
15 years 8 months ago
Inferring acceptable arguments with Answer Set Programming
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieve...
136
Voted
HICSS
2005
IEEE
149views Biometrics» more  HICSS 2005»
15 years 8 months ago
Web Services Composition with Traceability Centered on Dependency
Web services composition is becoming increasingly important as organizations are now getting ready to provide more complex service-based applications. Contemporary literature on t...
Jong Woo Kim, Radhika Jain