2366 search results - page 137 / 474 » Pfaffian Hybrid Systems |
157
click to vote
LOGCOM
2006
15 years 6 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
142
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a systematic modelling of the nonholonomic mobile manipulators built from a robotic arm mounted on a wheeled mobile platform. It extends the fundamental notions of nonh...
163
click to vote
HYBRID
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In this paper we investigate orthogonal polyhedra, i.e. polyhedra which are finite unions of full-dimensional hyper-rectangles. We define representation schemes for the...
151
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
We look at distributed representation of structure with variable binding, that is natural for neural nets and allows traditional symbolic representation and processing. The repres...
182
click to vote
WECWIS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents our hybrid architectural model for Distributed Data Mining (DDM) which is tailored to meet the needs of e-businesses where application service providers sell D...