386 search results - page 77 / 78 » Signature Verification Using Static and Dynamic Features |
EICS
2009
ACM
15 years 4 months ago
2009
ACM
Discovering and unlocking the full potential of complex pervasive environments is still approached in application-centric ways. A set of statically deployed applications often deļ...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
ā This paper puts forward an approach for a mobile robot to recognize the humanās manipulative actions from different single camera views. While most of the related work in act...
INTERSENSE
2006
ACM
15 years 3 months ago
2006
ACM
ā Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simpliļ¬ed ...
118
click to vote
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...