4767 search results - page 403 / 954 » Structures for Abstract Rewriting |
169
click to vote
ISER
1997
Springer
15 years 11 months ago
1997
Springer
Abstract: This paper propose an adaptive visual servoing method consisting of an on-line estimator of the robot/image Jacobian matrix and a feedback/feedforward controller for unca...
173
click to vote
ISMIS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...
183
click to vote
JMLC
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
139
click to vote
ER
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. As information systems are increasingly being called upon to play vital roles in organizations, conceptual modelling techniques need to be extended to relate information ...
133
Voted
MFCS
1993
Springer
15 years 11 months ago
1993
Springer
Abstract This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models...