14190 search results - page 211 / 2838 » Abstractions for hybrid systems |
162
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...
146
click to vote
ICRA
2003
IEEE
15 years 12 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...
158
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...
188
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
166
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
ion Flow Control for Standard OS Abstractions Maxwell Krohn Alexander Yip Micah Brodsky Natan Cliffer M. Frans Kaashoek Eddie Kohler† Robert Morris MIT CSAIL †UCLA http://flum...