1127 search results - page 82 / 226 » Theory Extension in ACL2(r) |
163
click to vote
SBIA
2004
Springer
15 years 11 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...
148
click to vote
DCC
2003
IEEE
15 years 11 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 ...
151
click to vote
ATAL
2003
Springer
15 years 11 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...
149
click to vote
FOSSACS
2003
Springer
15 years 11 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...
154
click to vote
TRUST
2010
Springer
15 years 11 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...