5550 search results - page 131 / 1110 » Different Approaches to Proof Systems |
224
click to vote
HPCA
2002
IEEE
16 years 6 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
142
click to vote
PICS
2001
15 years 7 months ago
2001
Banding can be a major defect in inkjet printing. Knowing the visual sensitivity threshold of inkjet banding is therefore useful for understanding and pushing the technological li...
179
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
150
click to vote
NGITS
1995
Springer
15 years 10 months ago
1995
Springer
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...
160
click to vote
VIP
2003
15 years 7 months ago
2003
Over the last couple of decades, more and more presentations are done on computer screen. The need to store or broadcast such presentation efficiently is in high demand across dif...