5639 search results - page 75 / 1128 » Timed Abstract Non-interference |
109
Voted
ICSC
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. This paper introduces a method for quantization of imagesequences which takes into account the human sensitivities in both space and time. A weighted clustering approach ...
126
click to vote
TWC
2008
14 years 11 months ago
2008
Abstract--This letter proposes an energy-efficient clock synchronization scheme for Wireless Sensor Networks (WSNs) based on a novel time synchronization approach. Within the propo...
MOC
1998
14 years 11 months ago
1998
Abstract. We present here a mathematical analysis of a nonstandard difference method for the numerical solution of the time dependent GinzburgLandau models of superconductivity. Th...
104
click to vote
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
an abstract optimization problem arising from biomolecular sequence analysis. For a sequence A of pairs (ai, wi) for i = 1, . . . , n and wi > 0, a segment A(i, j) is a consecu...