1943 search results - page 160 / 389 » Ordering Default Theories |
187
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
187
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper considers the problem of stabilizing a unicycle-type mobile robot using a time-invariant, discontinuous control law. In order to simplify the control design, most pr...
182
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...
194
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we propose a novel approach to measure inconsistencies in ontologies based on Shapley values, which are originally proposed for game theory. This measure c...
138
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
The phenomenon of particle bursts, a well-known feature of PSO is investigated. Their origin is concluded to lie in multiplicative stochasticity, previously encountered in the stu...