635 search results - page 93 / 127 » Reasoning About Quantum Knowledge |
123
Voted
RSS
2007
15 years 1 months ago
2007
— Matching laser range scans observed at different points in time is a crucial component of many robotics tasks, including mobile robot localization and mapping. While existing t...
113
Voted
EACL
1993
ACL Anthology
15 years 1 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
125
click to vote
SEC
1996
15 years 1 months ago
1996
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
79
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In many clustering applications, the user has some vague notion of the number and membership of the desired clusters. However, it is difficult for the user to provide such knowled...
122
click to vote
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....