7335 search results - page 901 / 1467 » Scene Based Reasoning |
207
click to vote
CSFW
2006
IEEE
16 years 1 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
185
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
—Recognizing human emotions from partial facial features is quite hard to achieve reasonable accuracy. In this paper, we propose to use a tree structure representation to simulat...
185
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Reputation in P2P networks is an important tool to encourage cooperation among peers. It is based on ranking of peers according to their past behaviour. In large-scale real world ...
182
click to vote
DSD
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
167
click to vote
ENC
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...