1127 search results - page 82 / 226 » Theory Extension in ACL2(r) |
104
click to vote
SBIA
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents an overview of current work on the recognition of sign language and a prototype of a simple editor for a small subset of the Brazilian Sign Language, LIBRAS. Ha...
89
Voted
DCC
2003
IEEE
15 years 6 months ago
2003
IEEE
- Rate-distortion theory is applied to the problem of joint compression and classification. A Lagrangian distortion measure is used to consider both the squared Euclidean error in ...
94
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
The term social navigation refers to the process of seeking social interaction as a source of navigational support. In this paper we present a computational model of social naviga...
88
Voted
FOSSACS
2003
Springer
15 years 6 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
TRUST
2010
Springer
15 years 5 months ago
2010
Springer
Academic discourse on trust is fractured along disciplinary lines. Security theorists routinely use a definition of trust which, apparently, has little in common with any of the d...