1189 search results - page 176 / 238 » The Quotient of an Abstract Interpretation |
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
VMCAI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entit...
SKG
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
AMFG
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract. This paper presents a method for interpreting facial expressions based on temporal structures among partial movements in facial image sequences. To extract the structures...