4693 search results - page 862 / 939 » Verifying Hybrid Systems |
120
Voted
CGF
2008
15 years 22 days ago
2008
We present a novel approach to parameterize a mesh with disk topology to the plane in a shape-preserving manner. Our key contribution is a local/global algorithm, which combines a...
120
Voted
MMS
2000
15 years 12 days ago
2000
A large-scale, distributed video-on-demand (VOD) system allows geographically dispersed residential and business users to access video services, such as movies and other multimedia...
108
click to vote
CASES
2010
ACM
14 years 10 months ago
2010
ACM
Mobile computing platforms in the form of smart phones, netbooks, and personal digital assistants have become an integral part of our everyday lives. Moving ahead to the future, m...
144
click to vote
HIPC
2009
Springer
14 years 10 months ago
2009
Springer
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...
106
click to vote
ICRA
2009
IEEE
14 years 10 months ago
2009
IEEE
A Riemannian-geometry approach for control and stabilization of dynamics of object manipulation under holonomic or non-holonomic (but Pfaffian) constraints is presented. First, pos...