4693 search results - page 193 / 939 » Verifying Hybrid Systems |
157
click to vote
NAACL
2007
15 years 6 months ago
2007
We propose a high-performance cascaded hybrid model for Chinese NER. Firstly, we use Boosting, a standard and theoretically wellfounded machine learning method to combine a set of...
147
click to vote
LOGCOM
2006
15 years 5 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...
129
click to vote
ICRA
2003
IEEE
15 years 10 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...
150
click to vote
HYBRID
1999
Springer
15 years 9 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...
136
click to vote
HYBRID
1998
Springer
15 years 9 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...