1943 search results - page 199 / 389 » Ordering Default Theories |
167
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider the problem of modifying the noise properties of a channel in order to make the source as indecipherable as possible given the output. Applications include jamming com...
171
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— One of the most important problems in Mobile Robotics is to realise the complete robot’s autonomy. In order to achieve this goal several tasks have to be accomplished. Among ...
205
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
214
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The search for free parking places is a promising application for vehicular ad hoc networks (VANETs). In order to guide drivers to a free parking place at their destination, it...
193
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In this work, we introduce a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced i...