4814 search results - page 747 / 963 » Combining abstract interpreters |
APPROX
2004
Springer
14 years 4 months ago
2004
Springer
ABSTRACT: Let G(n, c/n) and Gr(n) be an n-node sparse random graph and a sparse random rregular graph, respectively, and let I(n, r) and I(n, c) be the sizes of the largest indepen...
AUSAI
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The particle filter has attracted considerable attention in visual tracking due to its relaxation of the linear and Gaussian restrictions in the state space model. It is...
CAISE
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Ubiquitous Mobile Systems (UMSs) allow for automated capturing of events. Both mobility and ubiquity are supported by electronic means such as mobile phones and PDAs and ...
CC
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
CDVE
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. In this paper we present our work in setting up a collaborative virtual environment (CVE) framework which is built to support collaborative creative meetings for geograph...