231 search results - page 17 / 47 » A Brief Overview of PVS |
ICIAP
2003
ACM
14 years 7 months ago
2003
ACM
Today's mobile and wireless users access multimedia content from different types of networks and terminals. Content analysis plays a critical role in developing effective sol...
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Clock synchronization is one of the most basic building blocks for many applications in computer science and engineering. The purpose of clock synchronization is to provide the con...
DSN
2008
IEEE
14 years 1 months ago
2008
IEEE
This workshop summary gives a brief overview of the workshop on “Resilience Assessment and Dependability Benchmarking” held in conjunction with the 38th IEEE/IFIP Internationa...
IEEEIAS
2007
IEEE
14 years 1 months ago
2007
IEEE
In recent years, mathematical, statistical and computer science methods have found extensive application in developing new procedures for crime investigation, prosecution and the ...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper we present algorithms that enable precise trajectory control of NIMS3D, an underconstrained, three-dimensional cabled robot intended for use in actuated sensing. ...