211 search results - page 25 / 43 » Towards A Shape Analysis for Graph Transformation Systems |
106
click to vote
ILC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Temporal segmentation of facial gestures in spontaneous facial behavior recorded in real-world settings is an important, unsolved, and relatively unexplored problem in facial imag...
69
Voted
ICPR
2004
IEEE
16 years 25 days ago
2004
IEEE
ACT Maps are vital tools for most government agencies and consumers. However, their manual generation and updating is tedious and time consuming. As a step toward automatic map gen...
105
click to vote
SIGOPS
2010
14 years 10 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
106
click to vote
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...