1746 search results - page 263 / 350 » A Constructive Semantics for ALC |
138
click to vote
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
122
click to vote
IWSEC
2007
Springer
15 years 10 months ago
2007
Springer
At Indocrypt 2005, Viet et al., [22] have proposed an anonymous password-authenticated key exchange (PAKE) protocol and its threshold construction both of which are designed for cl...
136
click to vote
JCDL
2010
ACM
15 years 9 months ago
2010
ACM
The“wisdom of crowds”is accomplishing tasks that are cumbersome for individuals yet cannot be fully automated by means of specialized computer algorithms. One such task is the...
239
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
135
click to vote
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...