2766 search results - page 144 / 554 » Hybridizing a Logical Framework |
150
click to vote
EUSFLAT
2007
15 years 5 months ago
2007
In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures lik...
123
click to vote
IJAIT
2006
15 years 4 months ago
2006
This article constitutes a contribution to an analysis of the notion of variable. Whithin the framework of Combinatory Logic as a formalism without bound variables, the Logic of D...
139
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
148
click to vote
ICS
2001
Tsinghua U.
15 years 8 months ago
2001
Tsinghua U.
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...
143
click to vote
SCA
2007
15 years 6 months ago
2007
Although mesh-based methods are efficient for simulating simple hyperelasticity, maintaining and adapting a mesh-based representation is less appealing in more complex scenarios, ...