390 search results - page 45 / 78 » Probability Logic and Logical Probability |
150
Voted
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
A high-speed and large-scale processor dedicated to quantum computing is proposed, which has the minimum operation function needed for execution of a quantum algorithm. In this pr...
105
click to vote
ISLPED
1995
ACM
15 years 7 months ago
1995
ACM
We present a technique that automatically synthesizes nite state machines with gated clocks to reduce the power dissipation of the nal implementation. We describe a new transfor...
139
Voted
AAAI
2007
15 years 5 months ago
2007
The world is unpredictable, and acting intelligently requires anticipating possible consequences of actions that are taken. Assuming that the actions and the world are determinist...
130
click to vote
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
123
Voted
EUSFLAT
2009
15 years 1 months ago
2009
Abstract--When 60 years ago Shannon established "A Mathematical Theory of Communication" nobody could know the consequences for science and technology in the second half ...