10910 search results - page 80 / 2182 » Input modeling using a computer algebra system |
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Automated teller machine (ATM) frauds are increasing drastically these days. When analyzing the most common attacks and the reasons for successful frauds, it becomes apparent that...
SIBGRAPI
2003
IEEE
15 years 3 months ago
2003
IEEE
A picking mechanism (pointing and indicating) with the cursor is essential for any direct-manipulation application. The windowing systems, under which control a direct-manipulation...
DSN
2008
IEEE
14 years 11 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
Path modeling for video surveillance is an active area of research. We address the issue of Euclidean path modeling in a single camera for activity monitoring in a multicamera vid...
ESOP
2001
Springer
15 years 2 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...