4814 search results - page 619 / 963 » Combining abstract interpreters |
164
click to vote
COSIT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The paper proposes a novel approach for a scale-dependent geometric simplification of 3D building models that are an integral part of virtual cities. In contrast to real-...
177
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
170
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
177
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Search engines have become the most popular tools for finding information on the Internet. A real-world Semantic Web application can benefit from this by combining its ...
181
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this work, we propose a model-based approach for estimating the 3D position and orientation of a dummy's head for crash test video analysis. Instead of relying on...