539 search results - page 88 / 108 » Symmetric Argumentation Frameworks |
176
click to vote
ISBI
2007
IEEE
15 years 12 months ago
2007
IEEE
By acquiring high angular resolution diffusion weighted magnetic resonance images (HARDI), Q-Ball analysis can disclose the 3D organization of fibrous tissue such as the brain whi...
159
click to vote
TASE
2007
IEEE
15 years 12 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
146
click to vote
ACCV
2007
Springer
15 years 11 months ago
2007
Springer
We describe an approach to segmenting foreground regions corresponding to a group of people into individual humans. Given background subtraction and ground plane homography, hierar...
158
click to vote
COREGRID
2007
Springer
15 years 11 months ago
2007
Springer
We investigate the problem of atomic commit in transactional database systems built on top of Distributed Hash Tables. Therefore we present a framework for DHTs to provide strong d...
157
click to vote
CRYPTO
2007
Springer
15 years 11 months ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...