202 search results - page 39 / 41 » Proof Search in Minimal Logic |
120
Voted
ESWS
2011
Springer
14 years 2 months ago
2011
Springer
The number of open datasets available on the web is increasing rapidly with the rise of the Linked Open Data (LOD) cloud and various governmental efforts for releasing public data ...
87
Voted
DAC
2004
ACM
15 years 2 months ago
2004
ACM
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
74
Voted
MICRO
2000
IEEE
15 years 2 months ago
2000
IEEE
Register integration (or simply integration) is a mechanism for incorporating speculative results directly into a sequential execution using data-dependence relationships. In this...
91
Voted
DIAGRAMS
2008
Springer
15 years 21 days ago
2008
Springer
Euler diagrams are a natural method of representing set-theoretic data and have been employed in diverse areas such as visualizing statistical data, as a basis for diagrammatic log...
103
Voted
NETWORKS
2007
14 years 10 months ago
2007
We study the problem of designing a survivable WDM network based on covering the communication requests with subnetworks that are protected independently from each other. We consi...