1941 search results - page 221 / 389 » Reasoning about Computations Using Two-Levels of Logic |
130
click to vote
CSL
2002
Springer
15 years 3 months ago
2002
Springer
In this paper we present an approach to recognition confidence scoring and a set of techniques for integrating confidence scores into the understanding and dialogue components of ...
150
Voted
CSE
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
144
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
149
click to vote
ICTAI
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
134
click to vote
NIPS
2007
15 years 5 months ago
2007
Much of human knowledge is organized into sophisticated systems that are often called intuitive theories. We propose that intuitive theories are mentally represented in a logical ...