626 search results - page 95 / 126 » When Can Formal Methods Make a Real Difference |
237
Voted
SENSYS
2006
ACM
15 years 9 months ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
132
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
135
Voted
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
A method was recently devised for the recovery of an invariant image from a 3-band colour image. The invariant image, originally 1D greyscale but here derived as a 2D chromaticity,...
119
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: In practice many biological time series measurements, including gene microarrays, are conducted at time points that seem to be interesting in the biologist's opin...
157
Voted
WISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...