1902 search results - page 92 / 381 » Differential Dynamic Logics |
144
click to vote
DCC
2005
IEEE
16 years 5 months ago
2005
IEEE
ct A very fast, low complexity algorithm for resolution scalable and random access decoding is presented. The algorithm is based on AGP (Alphabet and Group Partitioning) [1], where...
166
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— A novel design of a mobile parallel manipulator (MPM), which is composed by a multi-degree of freedom (DOF) parallel robot and an autonomous wheeled mobile platform, is propose...
149
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...
125
click to vote
HPCNCS
2007
15 years 7 months ago
2007
Abstract—As the bandwidth of networks is increasing exponentially, the computational cost to simulate such type of networks is also growing in a similar fashion. This paper prese...
149
click to vote
MSS
2005
IEEE
15 years 11 months ago
2005
IEEE
We present an architecture of a trust framework that can be utilized to intelligently tradeoff between security and performance in a SAN file system. The primary idea is to diffe...