Sciweavers

59 search results - page 8 / 12
» A New Approach to Model-Based Diagnosis Using Probabilistic ...
Sort
View
ICCAD
2009
IEEE
87views Hardware» more  ICCAD 2009»
13 years 4 months ago
The synthesis of combinational logic to generate probabilities
As CMOS devices are scaled down into the nanometer regime, concerns about reliability are mounting. Instead of viewing nanoscale characteristics as an impediment, technologies suc...
Weikang Qian, Marc D. Riedel, Kia Bazargan, David ...
JAR
2002
83views more  JAR 2002»
13 years 6 months ago
Mathematical Programming Embeddings of Logic
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
Vivek S. Borkar, Vijay Chandru, Sanjoy K. Mitter
DAGSTUHL
2007
13 years 8 months ago
Towards a Logic of Graded Normativity and Norm Adherence
A key focus of contemporary agent-oriented research and engineering is on open multiagent systems composed of truly autonomous, interacting agents. This poses new challenges, as en...
Matthias Nickles
GLVLSI
2006
IEEE
193views VLSI» more  GLVLSI 2006»
14 years 22 days ago
Optimizing noise-immune nanoscale circuits using principles of Markov random fields
As CMOS devices and operating voltages are scaled down, noise and defective devices will impact the reliability of digital circuits. Probabilistic computing compatible with CMOS o...
Kundan Nepal, R. Iris Bahar, Joseph L. Mundy, Will...
TKDE
2011
150views more  TKDE 2011»
13 years 1 months ago
Estimating and Enhancing Real-Time Data Service Delays: Control-Theoretic Approaches
—It is essential to process real-time data service requests such as stock quotes and trade transactions in a timely manner using fresh data, which represent the current real worl...
Kyoung-Don Kang, Yan Zhou, Jisu Oh