3457 search results - page 339 / 692 » A Symbol Is Not a Symbol |
146
click to vote
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
: A multi-aspect approach is applied to one-step anticipation for tightening human-robot interaction in naturally complex scene. Via symbolic massage exchange, human’s linguistic...
182
click to vote
WIMOB
2007
IEEE
16 years 1 months ago
2007
IEEE
— There exists a multitude of location-sensing systems utilizing wireless technology, though varying in cost, coverage and accuracy. In this paper we will introduce WLocator, a s...
198
click to vote
ESORICS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
151
click to vote
FCT
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
173
click to vote
ICCBR
2007
Springer
16 years 26 days ago
2007
Springer
The aim of this paper is to analyze how the generalizations built by a CBR method can be used as local approximations of a concept. From this point of view, these local approximati...