Sciweavers

3207 search results - page 447 / 642
» A Semantics for HTN Methods
Sort
View
ICML
2004
IEEE
16 years 7 months ago
Gaussian process classification for segmenting and annotating sequences
Many real-world classification tasks involve the prediction of multiple, inter-dependent class labels. A prototypical case of this sort deals with prediction of a sequence of labe...
Yasemin Altun, Thomas Hofmann, Alex J. Smola
WWW
2007
ACM
16 years 7 months ago
Bridging the gap between OWL and relational databases
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...
Boris Motik, Ian Horrocks, Ulrike Sattler
WWW
2004
ACM
16 years 7 months ago
OREL: an ontology-based rights expression language
This paper proposes an Ontology-based Rights Expression Language, called OREL. Based on OWL Web Ontology Language, OREL allows not only users but also machines to handle digital r...
Yuzhong Qu, Xiang Zhang, Huiying Li
WWW
2001
ACM
16 years 7 months ago
Media Browser: An Example of Metadata-Based Browsing
Current methods for finding relevant content, especially in media-rich web environments, suggest that metadata is critical for accurate and efficient information retrieval. We des...
Alison Lennon, Daniel Lloyd-Jones, Ernest Wan
CAV
2009
Springer
218views Hardware» more  CAV 2009»
16 years 7 months ago
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
Isil Dillig, Thomas Dillig, Alex Aiken