2858 search results - page 397 / 572 » Logics with Aggregate Operators |
181
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
172
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
With scaling down to deep submicron and nanometer technologies, noise immunity is becoming a metric of the same importance as power, speed, and area. Smaller feature sizes, low vo...
173
click to vote
ISLPED
2009
ACM
15 years 11 months ago
2009
ACM
We present experimental analysis to exploit the sequence dependence on energy saving in error tolerant image processing. Our analysis shows that the error distributions depend not...
175
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
Field programmable gate arrays (FPGAs) are flexible programmable devices that are used in a wide variety of applications such as network routing, signal processing, pattern recogni...
160
click to vote
ICLP
1997
Springer
15 years 10 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...