2598 search results - page 458 / 520 » The Abstract Immune System Algorithm |
102
click to vote
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
We will demonstrate our system, called V iStream, supporting interactive visual exploration of neighbor-based patterns [7] in data streams. V istream does not only apply innovativ...
108
click to vote
ICIP
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract--We consider the problem of coding images for transmission over error-prone channels. The impairments we target are transient channel shutdowns, as would occur in a packet...
92
Voted
SCALESPACE
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Multiresolution techniques are often used to shorten the execution times of dynamic programming based deformable contour optimization methods by decreasing the image reso...
132
click to vote
EUROPAR
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. The Numerical Algorithms Group Ltd is currently participating in the European HPCN Fourth Framework project on Parallel Industrial NumErical Applications and Portable Lib...