5550 search results - page 843 / 1110 » Different Approaches to Proof Systems |
168
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Robust execution of robotic tasks is a difficult problem. In many situations, these tasks involve complex behaviors combining different functionalities (e.g. perception, localizat...
195
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Social navigation in a community of practice (CoP) is an approach of locating information through increased social awareness. Designing support for social navigation requ...
157
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
177
click to vote
INTERWORKING
2000
15 years 10 months ago
2000
The Internet Engineering Task Force (IETF) is currently working on the development of Differentiated Services (DiffServ). DiffServ seems to be a promising technology for next-gene...
203
click to vote
ROBOCUP
2000
Springer
15 years 10 months ago
2000
Springer
This paper deals with an omni-directional sensor based on a camera and a mirror generated with a surface of revolution. The requirements the device must fulfill result from its use...