4902 search results - page 831 / 981 » Structures, Semantics and Statistics |
136
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
136
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
175
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
The Semantic Web community, until now, has used traditional database systems for the storage and querying of RDF data. The SPARQL query language also closely follows SQL syntax. A...
128
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
We propose Facetedpedia, a faceted retrieval system for information discovery and exploration in Wikipedia. Given the set of Wikipedia articles resulting from a keyword query, Fac...
143
click to vote
AVSS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we propose an ontology for representing the prior knowledge related to video event analysis. It is composed of two types of knowledge related to the application dom...