Sciweavers

3381 search results - page 147 / 677
» Extending Dependencies with Conditions
Sort
View
ICRA
2010
IEEE
149views Robotics» more  ICRA 2010»
15 years 5 months ago
Observability analysis of relative localization for AUVs based on ranging and depth measurements
— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...
CORR
2011
Springer
137views Education» more  CORR 2011»
15 years 1 months ago
An improvement of the Moser-Tardos algorithmic local lemma
A recent theorem of Bissacot, et al. proved using results about the cluster expansion in statistical mechanics extends the Lov´asz Local Lemma by weakening the conditions under w...
Wesley Pegden
CADE
2001
Springer
16 years 6 months ago
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
Xavier Urbain
LACL
1998
Springer
15 years 10 months ago
Anaphora and Quantification in Categorial Grammar
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
Gerhard Jäger
EUSFLAT
2007
121views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Modeling the Context in Multi-Criteria Decision Analysis
In Multiple Criteria Decision Analysis, the preferences of the decision maker regarding each criterion are classically modelled by a utility function depending on one single varia...
Christophe Labreuche