Sciweavers

1818 search results - page 10 / 364
» Operant conditioning
Sort
View
87
Voted
TFS
2008
127views more  TFS 2008»
14 years 11 months ago
An Intelligent System for Machinery Condition Monitoring
A reliable monitoring system is critically needed in a wide range of industries to detect the occurrence of a fault to prevent machinery performance degradation, malfunction, and s...
Wilson Wang
104
Voted
DATE
2003
IEEE
137views Hardware» more  DATE 2003»
15 years 5 months ago
Dynamic Conditional Branch Balancing during the High-Level Synthesis of Control-Intensive Designs
We present two novel strategies to increase the scope for application of speculative code motions: (1) Adding scheduling steps dynamically during scheduling to conditional branche...
Sumit Gupta, Nikil D. Dutt, Rajesh K. Gupta, Alexa...
101
Voted
IJCAI
1989
15 years 1 months ago
Measure-Free Conditioning, Probability and Non-Monotonic Reasoning
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
Didier Dubois, Henri Prade
110
Voted
ISCA
2006
IEEE
144views Hardware» more  ISCA 2006»
15 years 7 days ago
Conditional Memory Ordering
Conventional relaxed memory ordering techniques follow a proactive model: at a synchronization point, a processor makes its own updates to memory available to other processors by ...
Christoph von Praun, Harold W. Cain, Jong-Deok Cho...
101
Voted
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 4 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...