1358 search results - page 22 / 272 » Proceedings |
ICIAP
2001
Springer
14 years 7 months ago
2001
Springer
We describe an algorithm for the automatic features detection in 2D color images of human faces. The algorithm proceeds with subsequent refinements. First, it identifies the sub-i...
LATIN
2010
Springer
14 years 2 months ago
2010
Springer
We prove that the radix cross-section of a rational set for a length morphism, and more generally for a rational function from a free monoid into N, is rational, a property that d...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...
RTA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
IEEESCC
2005
IEEE
14 years 29 days ago
2005
IEEE
We consider architectural properties required for supporting automatic service composition. After defining composable service architecture, we proceed to examine the role of trus...