1974 search results - page 124 / 395 » Conditional Purchase Orders |
101
click to vote
RTA
2005
Springer
15 years 10 months ago
2005
Springer
A convenient method for defining a quasi-ordering, such as those used for proving termination of rewriting, is to choose the minimum of a set of quasi-orderings satisfying some d...
146
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...
119
click to vote
3DIM
2003
IEEE
15 years 9 months ago
2003
IEEE
We estimate the accuracy of a 3D range scanner in terms of its spatial frequency response. We determine a scanner’s modulation transfer function (MTF) in order to measure its fr...
137
click to vote
TAPSOFT
1993
Springer
15 years 8 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
124
click to vote
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...