1270 search results - page 101 / 254 » IF Validation Environment Tutorial |
105
click to vote
AROBOTS
2004
15 years 2 months ago
2004
This paper addresses the localization and mapping problem for a robot moving through a (possibly) unknown environment where indistinguishable landmarks can be detected. A set theo...
100
click to vote
FSS
2002
15 years 1 months ago
2002
We formulate a stopping problem for dynamic fuzzy systems concerning with fuzzy decision environment. It could be regarded as a natural fuzzification of non-fuzzy stopping problem...
139
Voted
SLOGICA
1998
15 years 1 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
120
click to vote
KI
2010
Springer
15 years 2 days ago
2010
Springer
A robot that is to assist humans in everyday activities should not only be efficient, but also choose actions that are understandable for a person. One characteristic of human task...
147
click to vote
SAC
2011
ACM
14 years 5 months ago
2011
ACM
The use of real-time systems can differ from their initial design and requirements. New missions may take place in a more agressive environment and cause faults that are not manag...