721 search results - page 67 / 145 » Stability for Effective Algebras |
CSR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Deterministic graph grammars are finite devices which generate the transition graphs of pushdown automata. We define the notion of synchronization by grammars, generalizi...
AAAI
1990
15 years 1 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
IUI
2005
ACM
15 years 5 months ago
2005
ACM
In this work, we present a study about adaptation on a mobile museum guide aiming at investigating the relationships between personality traits and the attitudes toward some basic...
ICRA
2000
IEEE
15 years 4 months ago
2000
IEEE
A robust teleoperation controller design methodfor an underwater manipulator is proposed considering the master and the underwater slave separately. To achieve transparency and st...
103
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a new automatic approach to building a videorama with shallow depth of field. We stitch the static background of video frames and render the dynamic foreground...