8825 search results - page 212 / 1765 » All for one or one for all |
106
click to vote
RTA
1995
Springer
15 years 5 months ago
1995
Springer
In this paper we study normalization properties of rewrite systems that are typeable using intersection types with and with sorts. We prove two normalization properties of typeable...
DLOG
2007
15 years 3 months ago
2007
Abstract. Conjunctive query answering is an important DL reasoning task. Although this task is by now quite well-understood, tight complexity bounds for conjunctive query answering...
FLAIRS
2008
15 years 3 months ago
2008
This paper describes the efforts undertaken in an international research project LT4eL from the perspective of one of the participating languages, Czech. The project aims at explo...
141
click to vote
AH
2008
Springer
15 years 3 months ago
2008
Springer
Open learner models (OLM) are learner models that are accessible to the learner they represent. Many examples now exist, often with the aim of prompting learner reflection on their...
130
click to vote
ASIACRYPT
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We provide a general framework for constructing identitybased and broadcast encryption systems. In particular, we construct a general encryption system called spatial enc...