8874 search results - page 80 / 1775 » A New Implementation of Automath |
114
Voted
JAIHC
2010
15 years 2 months ago
2010
Cooperative ambient intelligence aims to improve users’ work and private life by analysing their current situation with a special focus on their social interaction and to adapt t...
153
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
The minimum rectilinear Steiner tree (RST) problem is one of the fundamental problems in the field of electronic design automation. The problem is NP-hard, and much work has been ...
124
Voted
WAIM
2007
Springer
15 years 9 months ago
2007
Springer
Nowadays, as there is an increasing need to integrate the DBMS (for structured data) with Information Retrieval (IR) features (for unstructured data), DB-IR integration becomes one...
224
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
We report on our experience with the hardware transactional memory (HTM) feature of two pre-production revisions of a new commercial multicore processor. Our experience includes a...
108
Voted
DCC
2009
IEEE
16 years 4 months ago
2009
IEEE
We present a new lossy compressor for discrete sources. For coding a source sequence xn , the encoder starts by assigning a certain cost to each reconstruction sequence. It then f...