Sciweavers

1512 search results - page 64 / 303
» When Suboptimal Rules
Sort
View
ICRA
1993
IEEE
102views Robotics» more  ICRA 1993»
14 years 2 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
LICS
2006
IEEE
14 years 4 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
EUSFLAT
2001
105views Fuzzy Logic» more  EUSFLAT 2001»
13 years 11 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...
CORR
2007
Springer
70views Education» more  CORR 2007»
13 years 10 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
JAPLL
2007
83views more  JAPLL 2007»
13 years 10 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