14190 search results - page 46 / 2838 » Abstractions for hybrid systems |
108
click to vote
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Huge amounts of digital visual content are currently available, thus placing a demand for advanced multimedia search engines. The contribution of this paper is the presen...
113
click to vote
EUROPAR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We investigate the performance of two approaches for matrix inversion based on Gaussian (LU factorization) and Gauss-Jordan eliminations. The target architecture is a cur...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract— Motivated by the goal of obtaining moreanthropomorphic walking in bipedal robots, this paper considers a hybrid model of a 3D hipped biped with feet and locking knees. ...
DAC
2001
ACM
16 years 24 days ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
