3229 search results - page 144 / 646 » Theories with the Independence Property |
123
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
107
click to vote
ECSQARU
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Recently, several proposals have been made for the merg...
111
Voted
AAAI
1998
15 years 2 months ago
1998
When search techniques are used to solve a practical problem, the solution produced is often brittle in the sense that small execution difficulties can have an arbitrarily large e...
116
click to vote
CSL
2010
Springer
15 years 1 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
AEI
2008
15 years 28 days ago
2008
The paper proposes a methodology to assist the designer at the initial stages of the design synthesis process by enabling him/her to employ knowledge and algorithms existing in gr...