1399 search results - page 216 / 280 » Multi-party Finite Computations |
173
click to vote
TLCA
2009
Springer
16 years 27 days ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
147
click to vote
HOTI
2008
IEEE
16 years 25 days ago
2008
IEEE
— Recent network intrusion detection systems (NIDS) use regular expressions to represent suspicious or malicious character sequences in packet payloads in a more efficient way. ...
167
click to vote
ICDCS
2007
IEEE
16 years 20 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
159
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
Digital Down Conversion (DDC) is an algorithm, used to lower the amount of samples per second by selecting a limited frequency band out of a stream of samples. A possible DDC algo...
180
click to vote
ACCV
2006
Springer
16 years 11 days ago
2006
Springer
In this paper, we propose a novel occlusion invariant face recognition algorithm based on Selective Local Nonnegative Matrix Factorization (S-LNMF) technique. The proposed algorith...