3255 search results - page 336 / 651 » Combination of Abstractions in the ASTR |
184
click to vote
AMAST
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
192
click to vote
APPROX
2004
Springer
16 years 5 days 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...
199
click to vote
AUSAI
2004
Springer
16 years 5 days 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...
168
click to vote
CAISE
2004
Springer
16 years 5 days 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 ...
189
click to vote
CC
2004
Springer
16 years 5 days 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) ...