559 search results - page 85 / 112 » On Computing the Canonical Features of Software Systems |
157
click to vote
DIM
2007
ACM
15 years 9 months ago
2007
ACM
We have implemented an identity provider (IdP), which is defined by the Liberty Alliance on a mobile phone. We propose an authentication method, which uses this personal IdP as a ...
196
click to vote
ECRTS
2007
IEEE
15 years 12 months ago
2007
IEEE
Many embedded systems feature processors coupled with a small and fast scratchpad memory. To the difference with caches, allocation of data to scratchpad memory must be handled by...
163
Voted
AVSS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we present a combined real-time face region tracking and highly accurate face recognition technique for an intelligent surveillance system. Highresolution face imag...
141
click to vote
CODES
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
180
click to vote
IPSN
2010
Springer
15 years 7 months ago
2010
Springer
Photo tourism [11] is a platform that allows users to transform unstructured online digital photos into a 3D experience. Nowadays, image sensors are being extensively used to allo...