873 search results - page 27 / 175 » step 2005 |
102
click to vote
HASE
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose an approach to analyse the safety of avionic systems that takes into account the impact of computation and communication resource sharing. The approach is made of three...
ICMCS
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we present an algorithm for automatically generating pencil-sketch like drawings from personal photos. On top of the core step of gradient computation, some proper ...
107
click to vote
ISCAS
2005
IEEE
15 years 5 months ago
2005
IEEE
—Soft errors due to cosmic rays cause reliability problems during lifetime operation of digital systems, which increase exponentially with Moore’s law. The first step in develo...
TPHOL
2005
IEEE
15 years 5 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
VL
2005
IEEE
15 years 5 months ago
2005
IEEE
Evolutionary algorithms (EAs) produce a vast amount of data by recurring processes, e.g., selection, recombination, or mutation, that work on populations of solutions for a speci...