2777 search results - page 355 / 556 » Example centric programming |
ICRA
1993
IEEE
15 years 7 months ago
1993
IEEE
Force control implemented by a passive mechanical device (perhaps a wrist) has inherent advantages over active implementations. A passive mechanical device can regain some of the ...
148
Voted
ALP
1992
Springer
15 years 6 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
125
Voted
ECAI
1992
Springer
15 years 6 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
119
Voted
TACS
1994
Springer
15 years 6 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
93
Voted
ZUM
1992
Springer
15 years 6 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...