1114 search results - page 134 / 223 » An Architecture for Peer-to-peer Reasoning |
156
click to vote
ASIACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Within the security architecture of the 3GPP system there is a standardised encryption mode f8 based on the block cipher KASUMI. In this work we examine the pseudorandomness of the...
184
click to vote
IWANN
2001
Springer
15 years 10 months ago
2001
Springer
In this paper two methods for the detection and recognition of landmarks to be used in topological modeling for autonomous mobile robots are presented. The first method is based o...
171
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe a scheme to combine the results of audio and face identification for multimedia indexing and retrieval. Audio analysis consists of speech and speaker recognition deri...
132
click to vote
RSP
1999
IEEE
15 years 10 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
147
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes SRIPPs, structured reactive image processing plans, that are tailored for the needs of autonomous service robots. SRIPPs are implemented on top of a modular, d...