Sciweavers

5409 search results - page 906 / 1082
» Basic Observables for Processes
Sort
View
147
Voted
JMLR
2006
109views more  JMLR 2006»
15 years 3 months ago
Some Discriminant-Based PAC Algorithms
A classical approach in multi-class pattern classification is the following. Estimate probability distributions that generated the observations for each label class, and then labe...
Paul W. Goldberg
142
Voted
ENTCS
2007
119views more  ENTCS 2007»
15 years 3 months ago
Interpolant Learning and Reuse in SAT-Based Model Checking
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
João Marques-Silva
144
Voted
JSA
2006
113views more  JSA 2006»
15 years 3 months ago
A power-efficient TCAM architecture for network forwarding tables
Stringent memory access and search speed requirements are two of the main bottlenecks in wire speed processing. Most viable search engines are implemented in content addressable m...
Taskin Koçak, Faysal Basci
121
Voted
MJ
2008
148views more  MJ 2008»
15 years 3 months ago
Drive current boosting of n-type tunnel FET with strained SiGe layer at source
Though silicon tunnel field effect transistor (TFET) has attracted attention for sub-60 mV/decade subthreshold swing and very small OFF current (IOFF), its practical application i...
Nayan Patel, A. Ramesha, Santanu Mahapatra
129
Voted
MJ
2008
67views more  MJ 2008»
15 years 3 months ago
Temperature-adaptive voltage tuning for enhanced energy efficiency in ultra-low-voltage circuits
Circuits optimized for minimum energy consumption operate typically in the subthreshold regime with ultra-low power-supply voltages. Speed of a subthreshold logic circuit is enhan...
Ranjith Kumar, Volkan Kursun