692 search results - page 64 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
ICMLA
2009
14 years 9 months ago
2009
Abstract--This paper presents a novel and domainindependent approach for graph-based structure learning. The approach is based on solving the Maximum Common SubgraphIsomorphism pro...
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Administrative Role-Based Access Control (ARBAC) specifies how an RBAC poli...
WCRE
2007
IEEE
15 years 6 months ago
2007
IEEE
Gaining an understanding of software systems is an important discipline in many software engineering contexts. It is essential that software engineers are assisted as much as poss...
BILDMED
2009
15 years 29 days ago
2009
Abstract. Neurovascular compression syndromes are caused by a pathological contact between cranial nerves and vascular structures at the surface of the brainstem. Aiming at improve...
109
click to vote
VISSYM
2004
15 years 1 months ago
2004
Phylogenetic trees are built by examining differences in the biological traits of a set of species. An example of such a trait is a biological network such as a metabolic pathway,...