1947 search results - page 32 / 390 » A presentation of Quantum Logic based on an |
111
Voted
JCP
2008
15 years 18 days ago
2008
Trust mechanism will be an important trend in the field of security for open network. But, as an important factor risk is little considered in trust model. In this paper, Further w...
107
click to vote
AAAI
2000
15 years 2 months ago
2000
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...
117
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
112
Voted
ICTAI
2003
IEEE
15 years 6 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
147
Voted
ACOM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...