Sciweavers

2661 search results - page 212 / 533
» A Semantics for Abstraction
Sort
View
ESWS
2007
Springer
16 years 25 days ago
Extracting Social Networks Among Various Entities on the Web
Abstract. Social networks have recently attracted much attention for their importance to the Semantic Web. Several methods exist to extract social networks for people (particularly...
Jin Yingzi, Yutaka Matsuo, Mitsuru Ishizuka
CIVR
2006
Springer
145views Image Analysis» more  CIVR 2006»
15 years 10 months ago
Learned Lexicon-Driven Interactive Video Retrieval
Abstract. We combine in this paper automatic learning of a large lexicon of semantic concepts with traditional video retrieval methods into a novel approach to narrow the semantic ...
Cees Snoek, Marcel Worring, Dennis Koelma, Arnold ...
SUM
2010
Springer
15 years 4 months ago
A Formal Analysis of Logic-Based Argumentation Systems
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
Leila Amgoud, Philippe Besnard
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
16 years 3 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
ICALP
2004
Springer
16 years 1 days ago
Syntactic Control of Concurrency
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong