5084 search results - page 286 / 1017 » Proving Possibility Properties |
147
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider the problem of modifying the noise properties of a channel in order to make the source as indecipherable as possible given the output. Applications include jamming com...
154
click to vote
ICANNGA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The purpose of this work is to demonstrate that it is possible to cluster contact maps for pairs of alpha helices such that each of the clusters corresponds to a group of...
171
click to vote
ISORC
2006
IEEE
16 years 19 days ago
2006
IEEE
The fault tolerance provided by FT-CORBA is basically static, that is, once the fault tolerance properties of a group of replicated processes defined, they cannot be modified in r...
172
click to vote
CAIP
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents a technique for texture segmentation in images. Providing a small template of a texture of interest results in the image being segmented into regions with simil...
166
click to vote
CHARME
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...