9145 search results - page 1605 / 1829 » Description Logic Systems |
105
click to vote
LRE
2002
15 years 3 months ago
2002
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
133
Voted
SAC
2002
ACM
15 years 3 months ago
2002
ACM
1 Data distribution and replication in distributed systems require special purpose middleware tools for accessing replicated data. Data Grids, special forms of a systems distribute...
122
click to vote
TVLSI
2002
15 years 3 months ago
2002
In this paper, we propose a low-power approach to the design of embedded very long instruction word (VLIW) processor architectures based on the forwarding (or bypassing) hardware, ...
164
Voted
HUC
2010
Springer
15 years 1 months ago
2010
Springer
We present Energy Life a system utilizing wireless sensors, mobile and ambient interfaces that turn energy consumers into active players. Energy Life participants play through dif...
132
Voted
IPL
2010
15 years 1 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...