1941 search results - page 282 / 389 » Reasoning about Computations Using Two-Levels of Logic |
158
Voted
EUSFLAT
2007
15 years 5 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...
141
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
This paper presents a variation resilient circuit design technique for maintaining parametric yield of design under inherent variation in process parameters. We propose to utilize...
98
Voted
NSPW
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents a new paradigm for information theory which is a synthesis of Barwise-Seligman’s qualitative theory and Shannon’s quantitative theory. The new paradigm is ...
144
click to vote
RSCTC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
144
Voted
CAV
2010
Springer
15 years 1 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...