5634 search results - page 850 / 1127 » About Abstract Classes |
158
click to vote
ACII
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Working with emotion-related states in technological contexts requires a standard representation format. Based on that premise, the W3C Emotion Incubator group was create...
186
click to vote
AMS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this this paper, we present a solution to the simultaneous localization and mapping (SLAM) problem for a robot equipped with a single perspective camera. We track extr...
168
click to vote
AOSE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. E-institutions are envisioned as facilities on the Internet for heterogeneous software agents to perform their interactions and thus forming truly open agent systems. We ...
161
click to vote
ASIAN
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
190
click to vote
B
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...