231 search results - page 5 / 47 » A Brief Overview of HOL4 |
DCC
2000
IEEE
14 years 1 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 6 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
14 years 22 days 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 8 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...
PROMISE
2010
13 years 3 months ago
2010
Search Based Software Engineering (SBSE) is an approach to software engineering in which search based optimization algorithms are used to identify optimal or near optimal solution...