231 search results - page 5 / 47 » A Brief Overview of PVS |
DCC
2000
IEEE
13 years 12 months ago
2000
IEEE
JPEG-2000 is an emerging standard for still image compression. This paper provides a brief history of the JPEG-2000 standardization process, an overview of the standard, and some ...
HRI
2010
ACM
13 years 5 months ago
2010
ACM
Robots for elderly have drawn a great deal of attention as it is a controversial topic being pushed forward by the fact that there will be a dramatic increase of elderly in most we...
LCPC
1994
Springer
13 years 11 months ago
1994
Springer
We have recently introduced a new language, called Opus, which provides a set of Fortranlanguage extensions that allow for integrated support of task and data parallelism. It also...
IJEB
2008
13 years 7 months ago
2008
: The success of sponsored search has radically affected how people interact with the information, websites, and services on the web. Sponsored search provides the necessary revenu...
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
Manual reconstruction of ripped-up documents can be a very difficult and time-consuming task. This paper discusses a semi-automatic toolset that can be used for reconstructing rip...