1513 search results - page 199 / 303 » Cryptographic Pattern Matching |
248
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
101
Voted
ICIAP
2005
ACM
16 years 2 months ago
2005
ACM
Automatic recognition of time and date stamps in CCTV video enables the inclusion of time-based queries in video indexing applications. Such ability needs to deal with problems of ...
130
Voted
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
122
Voted
VR
2009
IEEE
15 years 9 months ago
2009
IEEE
We tested users’ depth perception of virtual objects in our mobile augmented reality (AR) system in both indoor and outdoor environments using a depth matching task. The indoor ...
110
Voted
AINA
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we proposed a weighted suffix tree and find out it can improve the Intrusion Detection System (IDS). We firstly focus on the analysis of computer kernel system call,...