97 search results - page 10 / 20 » Semi-Contraction: Axioms and Construction |
OTM
2007
Springer
15 years 5 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
82
Voted
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— Constructing climbing behaviors for hyperredundant robots that account for the system dynamics requires a model of robot dynamics under contact and friction. One common...
92
Voted
DISCO
1993
15 years 3 months ago
1993
The fastest known algorithms in classical algebra make use of signature functions. That is, reducing computation with formulae to computing with the integers modulo p, by substitut...
112
click to vote
AMAST
1995
Springer
15 years 3 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
EUSFLAT
2001
15 years 1 months ago
2001
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...