2757 search results - page 290 / 552 » On separating systems |
176
click to vote
SAC
2004
ACM
16 years 1 days ago
2004
ACM
Since fingerprint data are no secrets but of public nature, the verification data transmitted to a smartcard for oncardmatching need protection by appropriate means in order to ...
166
click to vote
AOSE
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
167
click to vote
FLOPS
2004
Springer
16 years 7 hour ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
188
click to vote
PADL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
189
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
3D human pose estimation in multi-view settings benefits from embeddings of human actions in low-dimensional manifolds, but the complexity of the embeddings increases with the num...