3095 search results - page 349 / 619 » Ubiquitous presence systems |
147
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
— Robots’ interaction with humans raises new issues for geometrical reasoning where the humans must be taken explicitly into account. We claim that a human-aware motion system ...
165
click to vote
BIRTHDAY
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...
173
click to vote
FROCOS
2007
Springer
16 years 24 days ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
152
click to vote
GLOBECOM
2006
IEEE
16 years 21 days ago
2006
IEEE
— In presence of multiple access interference, the performance of impulse radio system is affected by collisions with other users. In this paper we evaluate the bit error probabi...
179
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
Automatic systems are needed for audiovisual databases to efficiently index, browse, summarize and retrieve, because the amount of stored data is increasing tremendously. Historic...