Sciweavers

350 search results - page 19 / 70
» Soft Linear Set Theory
Sort
View
IJRR
2010
112views more  IJRR 2010»
14 years 8 months ago
On the Passive Force Closure Set of Planar Grasps and Fixtures
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...
Amir Shapiro, Elon Rimon, Shraga Shoval
JOLLI
2002
109views more  JOLLI 2002»
14 years 9 months ago
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
Joeri Engelfriet, Jan Treur
ML
2002
ACM
141views Machine Learning» more  ML 2002»
14 years 9 months ago
On the Existence of Linear Weak Learners and Applications to Boosting
We consider the existence of a linear weak learner for boosting algorithms. A weak learner for binary classification problems is required to achieve a weighted empirical error on t...
Shie Mannor, Ron Meir
CSDA
2006
122views more  CSDA 2006»
14 years 9 months ago
The fuzzy approach to statistical analysis
For the last decades, research studies have been developed in which a coalition of Fuzzy Sets Theory and Statistics has been established with different purposes. These namely are:...
Renato Coppi, María Angeles Gil, Henk A. L....
ITP
2010
230views Mathematics» more  ITP 2010»
14 years 11 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar