1788 search results - page 122 / 358 » Model Theory for Process Algebra |
99
Voted
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
The goal of this paper is to give an overview of the basics of the theory of RDF databases. We provide a formal definition of RDF that includes the features that distinguish this m...
103
Voted
COLING
1992
15 years 1 months ago
1992
This paper presents a direct implementation of Government-Binding theory in a parser for German, which faithfully models the modular structure of the theory. The modular design yi...
IJCAI
2001
15 years 2 months ago
2001
Abstract. In this paper we present a new approach for personalized presentation of web-page content. The model is defined as a preference-based configuration process that is based ...
114
Voted
JMIV
1998
15 years 14 days ago
1998
In the past decades linear scale-space theory was derived on the basis of various axiomatics. In this paper we revisit these axioms and show that they merely coincide with the foll...
114
click to vote
WOSP
2004
ACM
15 years 6 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...