Sciweavers

3564 search results - page 149 / 713
» Evaluating a Formal Modelling Language
Sort
View
146
Voted
WIDM
2003
ACM
15 years 8 months ago
XWebSOGO: an ontology language to describe and query web sources
Ontologies play an important role in the Semantic Web. Currently, several Web ontology languages have been proposed and there has been a substantial effort towards the formalizat...
Edna Ruckhaus, Maria-Esther Vidal
131
Voted
NIPS
2007
15 years 5 months ago
Evaluating Search Engines by Modeling the Relationship Between Relevance and Clicks
We propose a model that leverages the millions of clicks received by web search engines to predict document relevance. This allows the comparison of ranking functions when clicks ...
Ben Carterette, Rosie Jones
125
Voted
WWW
2004
ACM
16 years 4 months ago
A proposal for an owl rules language
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said ab...
Ian Horrocks, Peter F. Patel-Schneider
151
Voted
POPL
2012
ACM
13 years 11 months ago
Analysis of recursively parallel programs
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
Ahmed Bouajjani, Michael Emmi
171
Voted
STORYTELLING
2005
Springer
15 years 9 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo