Sciweavers

2570 search results - page 375 / 514
» The Semantic Web And Its Languages
Sort
View
ICLP
2007
Springer
16 years 1 months ago
Minimal Logic Programs
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
Pedro Cabalar, David Pearce, Agustín Valver...
NLDB
2007
Springer
16 years 1 months ago
Selecting Labels for News Document Clusters
This work deals with determination of meaningful and terse cluster labels for News document clusters. We analyze a number of alternatives for selecting headlines and/or sentences o...
Krishnaprasad Thirunarayan, Trivikram Immaneni, Ma...
IFIP
2004
Springer
16 years 7 days ago
Nested Commits for Mobile Calculi: Extending Join
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
Roberto Bruni, Hernán C. Melgratti, Ugo Mon...
ICTAI
2003
IEEE
16 years 5 days ago
Ontology-Based Medical Image Annotation with Description Logics
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nige...
LICS
2003
IEEE
16 years 4 days ago
Revisiting Digitization, Robustness, and Decidability for Timed Automata
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
Joël Ouaknine, James Worrell