11752 search results - page 12 / 2351 » Those |
EPIA
1999
Springer
15 years 1 months ago
1999
Springer
We present three approaches to revision of belief bases, which are also examined in the case in which the sentences in the base are partitioned between those which can and those wh...
DEXAW
1998
IEEE
15 years 1 months ago
1998
IEEE
During the last years the field of electronic commerce has seen a rapid growth. Various methods have been developed to allow the electronic transfer of business-related informatio...
ICRA
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper describes guidelines for the design of grippers for use in modular manufacturing workcells. Gripper design is an important and often overlooked aspect of the design of ...
SAS
1994
Springer
15 years 1 months ago
1994
Springer
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
ICALT
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper examines motivations of knowledge workers to contribute expertise to online knowledge repositories that support informal learning, and presents findings from both a sur...