4397 search results - page 124 / 880 » Relational Algebra Operations |
111
click to vote
JLP
2010
15 years 27 days ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
71
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
One of the main contributions which Volker Weispfenning made to mathematics is related to Gr
108
click to vote
CSL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
112
Voted
AAAI
1993
15 years 3 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
109
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— In this paper, we develop an algorithm for determining the relative position and attitude of two robots moving in 3D, using only dead-reckoning and inter-robot distance...