2757 search results - page 365 / 552 » On separating systems |
110
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
– This paper presents the design and initial results for an autonomous jumping microrobot. At the millimeter size scale, jumping can offer numerous advantages for efficient locom...
122
Voted
ISMAR
2007
IEEE
15 years 11 months ago
2007
IEEE
In this article we present interactive Focus and Context (F+C) visualizations for Augmented Reality (AR) applications. We demonstrate how F+C visualizations are used to affect the...
129
click to vote
SMC
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper presents two approaches to visually analyze the topic shift of a pool of documents over a given period of time. The first of the proposed methods is based on a mult...
131
click to vote
ATAL
2007
Springer
2007
Springer
Agent coordination by trade-off between locally diffusion effects and socially structural influences
15 years 11 months ago
There were always two separated methods to make agent coordination: individual-local balance perspective and individualsociety balance perspective. The first method only considere...
148
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...