Sciweavers

89 search results - page 13 / 18
» Weak Conditional Logics of Normality
Sort
View
ENTCS
2008
102views more  ENTCS 2008»
13 years 7 months ago
Soft Linear Logic and Polynomial Complexity Classes
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi De...
ATVA
2010
Springer
93views Hardware» more  ATVA 2010»
13 years 5 months ago
A Specification Logic for Exceptions and Beyond
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
Cristian Gherghina, Cristina David
ICRA
2007
IEEE
123views Robotics» more  ICRA 2007»
14 years 1 months ago
Model-Based Wheel Slip Detection for Outdoor Mobile Robots
— This paper introduces a model-based approach to estimating longitudinal wheel slip and detecting immobilized conditions of autonomous mobile robots operating on outdoor terrain...
Chris C. Ward, Karl Iagnemma
TROB
2008
124views more  TROB 2008»
13 years 7 months ago
A Dynamic-Model-Based Wheel Slip Detector for Mobile Robots on Outdoor Terrain
Abstract--This paper introduces a model-based approach to estimating longitudinal wheel slip and detecting immobilized conditions of autonomous mobile robots operating on outdoor t...
Chris C. Ward, Karl Iagnemma
ICML
2009
IEEE
14 years 8 months ago
Compositional noisy-logical learning
We describe a new method for learning the conditional probability distribution of a binary-valued variable from labelled training examples. Our proposed Compositional Noisy-Logica...
Alan L. Yuille, Songfeng Zheng