Sciweavers

4516 search results - page 656 / 904
» Semantic Web and Education
Sort
View
CORR
2002
Springer
74views Education» more  CORR 2002»
15 years 6 months ago
A logical reconstruction of SPKI
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
Joseph Y. Halpern, Ron van der Meyden
CORR
2002
Springer
187views Education» more  CORR 2002»
15 years 6 months ago
Answer Sets for Consistent Query Answering in Inconsistent Databases
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
CORR
2010
Springer
63views Education» more  CORR 2010»
15 years 6 months ago
Simplified Distributed Programming with Micro Objects
Developing large-scale distributed applications can be a daunting task. One of the problems that application developers are confronted with is the distribution of data, processes, ...
Jan-Mark S. Wams, Maarten van Steen
LREC
2010
189views Education» more  LREC 2010»
15 years 5 months ago
NLGbAse: A Free Linguistic Resource for Natural Language Processing Systems
Availability of labeled language resources, such as annotated corpora and domain dependent labeled language resources is crucial for experiments in the field of Natural Language ...
Eric Charton, Juan Manuel Torres Moreno
CORR
2011
Springer
173views Education» more  CORR 2011»
15 years 1 months ago
Psi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...