4061 search results - page 110 / 813 » The Dynamics of Change |
247
Voted
LORI
2009
Springer
16 years 25 days ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
119
click to vote
IEEESCC
2006
IEEE
16 years 9 days ago
2006
IEEE
The convergence of smart field devices and business services stands to profoundly change the way we interact with our environment. This is especially true in the home context. In ...
158
click to vote
ICCS
2007
Springer
16 years 13 days ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
168
click to vote
ICMCS
2006
IEEE
16 years 9 days ago
2006
IEEE
Large-area terrain visualization is important to multimedia and military applications. However, such a huge amount of terrain data is not easily able to process on a general perso...
145
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, a nonhonolonomic vehicle is stabilized to a desired pose through a wisual servoing technique. The vision-based regulation of the nonholonomic vehicle, we propose, i...