4814 search results - page 722 / 963 » Combining abstract interpreters |
88
Voted
ICDT
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
115
Voted
IMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract: This paper describes an approach to construct unstructured tetrahedral and hexahedral meshes for a domain with multiple materials. In earlier works, we developed an octre...
106
Voted
ISAAC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
105
click to vote
ISPEC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. With the increased use of Internet and information technology all over the world, there is an increased amount of criminal activities that involve computing and digital d...
109
click to vote
ISVC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a markerless real-time, model-based 3D face tracking methodology. The system combines two robust and complimentary optimization-based strategies, namely active...