5550 search results - page 823 / 1110 » Different Approaches to Proof Systems |
173
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
In this paper, we propose a novel on-chip voltage drop reduction technique for on-chip power delivery networks of VLSI systems in the presence of variational leakage current sourc...
189
Voted
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we present the AgreementMaker, an ontology alignment tool that incorporates the Descendants Similarity Inheritance (DSI) method. This method uses the structure of th...
181
click to vote
BROADNETS
2005
IEEE
16 years 13 days ago
2005
IEEE
— Due to varying wireless channel conditions, the IEEE 802.11 wireless local area network (WLAN) standard supports multiple modulation types to accommodate the tradeoff between d...
175
click to vote
SSD
2005
Springer
16 years 9 days ago
2005
Springer
Networks often form the core of many users’ spatial databases. Networks are used to support the rapid navigation and analysis of linearly connected data such as that found in tra...
189
click to vote
CLEF
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we will describe Berkeley's approach to the Domain Specific (DS) track for CLEF 2007. This year we are using forms of the Entry Vocabulary Indexes and Thesaurus...