2421 search results - page 81 / 485 » Integrity Assurance Technique Using Determinant Approach |
IPSN
2004
Springer
15 years 6 months ago
2004
Springer
We present a methodology for a sensor network to answer queries with limited and stochastic information using probabilistic techniques. This capability is useful in that it allows...
101
Voted
COMPSAC
1997
IEEE
15 years 4 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
106
Voted
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The multiple knapsack problem (MKP) is a classical combinatorial optimization problem. A recent algorithm for some classes of the MKP is bin-completion, a bin-oriented, b...
ICCAD
1992
IEEE
15 years 4 months ago
1992
IEEE
Excessive power dissipation in integrated circuits causes overheating and can lead to soft errors and or permanent damage. The severity of the problem increases in proportion to t...
91
Voted
ICPR
2000
IEEE
16 years 1 months ago
2000
IEEE
Stent implantation for coronary disease treatment is a highly important minimally invasive technique that avoids surgery interventions. In order to assure the success of such an i...