4209 search results - page 408 / 842 » Abstract Dialectical Frameworks |
193
click to vote
FIMH
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this paper, a statistical atlas of DT-MRIs based on a population of nine ex vivo normal canine hearts is compared with a human cardiac DT-MRI and a commonly used synth...
213
click to vote
FMICS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
188
click to vote
HYBRID
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are...
165
click to vote
ICALP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
217
click to vote
IH
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. A new, simple, approach for active steganography is proposed in this paper that can successfully resist recent blind steganalysis methods, in addition to surviving distor...