43 search results - page 1 / 9 » Liveness with Invisible Ranking |
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
PUC
2007
13 years 4 months ago
2007
Research on smart houses has mostly been focused on automation and invisible integration of technology, which may lead to a perceived loss of control and a sense of being observed....
ECCV
2010
Springer
13 years 10 months ago
2010
Springer
Spoofing with photograph or video is one of the most common manner to circumvent a face recognition system. In this paper, we present a real-time and non-intrusive method to addre...
CCGRID
2004
IEEE
13 years 9 months ago
2004
IEEE
Grid computing aims to connect large numbers of geographically and organizationally distributed resources to increase computational power, resource utilization, and resource acces...