Sciweavers

1512 search results - page 64 / 303
» When Suboptimal Rules
Sort
View
102
Voted
ICRA
1993
IEEE
102views Robotics» more  ICRA 1993»
15 years 6 months ago
Automatic Reteach of Manipulators for Manufacturing Multiple Product Lines
Ordinarily, a robot workspace has insufficientroom to allow the setup of multiple applications simultaneously. As a result, it is common practice to use modular fixtures which hol...
Louis J. Everett, James C. Colson
94
Voted
LICS
2006
IEEE
15 years 8 months ago
Coinductive Proof Principles for Stochastic Processes
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
Dexter Kozen
109
Voted
EUSFLAT
2001
105views Fuzzy Logic» more  EUSFLAT 2001»
15 years 4 months ago
On fuzzy inference by the least squares method
A very different suggestion to the Zadeh's rule for fuzzy inference is the least squares method proposed by T. D. Pham and Valliappan. The aim of this paper is to study the p...
Sergio Bellido, Elena Castiñeira, Susana Cu...
117
Voted
CORR
2007
Springer
70views Education» more  CORR 2007»
15 years 2 months ago
On the Proof Complexity of Deep Inference
We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin exte...
Paola Bruscoli, Alessio Guglielmi
114
Voted
JAPLL
2007
83views more  JAPLL 2007»
15 years 2 months ago
Nonmonotonic conditionals that behave like conditional probabilities above a threshold
I’ll describe a range of systems for nonmonotonic conditionals that behave like conditional probabilities above a threshold. The rules that govern each system are probabilistical...
James Hawthorne