231 search results - page 5 / 47 » A Brief Overview of HOL4 |
DCC
2000
IEEE
15 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
14 years 7 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
15 years 1 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
14 years 9 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...
101
click to vote
PROMISE
2010
14 years 4 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...