4693 search results - page 878 / 939 » Verifying Hybrid Systems |
159
Voted
SEUS
2010
IEEE
14 years 11 months ago
2010
IEEE
NAND flash memory is one of the non-volatile memories and has been replacing hard disk in various storage markets from mobile devices, PC/Laptop computers, even to enterprise serv...
137
click to vote
TASE
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
149
Voted
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
Human motion capturing (HMC) from multiview image sequences constitutes an extremely difficult problem due to depth and orientation ambiguities and the high dimensionality of the s...
150
click to vote
CLUSTER
2011
IEEE
14 years 11 days ago
2011
IEEE
—For many organizations, one attractive use of cloud resources can be through what is referred to as cloud bursting or the hybrid cloud. These refer to scenarios where an organiz...
129
Voted
DAGSTUHL
2011
14 years 11 days ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...