1699 search results - page 319 / 340 » On the Expressive Power of QLTL |
EUROPKI
2005
Springer
14 years 28 days ago
2005
Springer
Abstract The expansion of inter-organizational scenarios based on different authorization schemes involves the development of integration solutions allowing different authorizatio...
ICNC
2005
Springer
14 years 27 days ago
2005
Springer
The feature selection and weighting are two important parts of automatic text classification. In this paper we give a new method based on concept attributes. We use the DEF Terms o...
RTA
2005
Springer
14 years 26 days ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
SEMWEB
2005
Springer
14 years 26 days ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
MOBICOM
2004
ACM
14 years 25 days ago
2004
ACM
Topology control algorithms usually reduce the number of links in a wireless network, which in turn decreases the degree of connectivity. The resulting network topology is more su...