2570 search results - page 351 / 514 » The Semantic Web And Its Languages |
245
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
In this technical demonstration we show an integrated web system for video search and annotation based on ontologies. The system is composed by three components: the Orione1 ontol...
155
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
298
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
217
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
165
click to vote
LPNMR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...