42507 search results - page 429 / 8502 » On the analysis of |
179
click to vote
ACCV
2006
Springer
15 years 11 months ago
2006
Springer
The effect of reflection and transparency is superimposed in many real world scenes, which is caused by glass-like shiny and transparent materials. The presence of such incidental ...
231
click to vote
CIKM
2000
Springer
15 years 10 months ago
2000
Springer
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...
181
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
184
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
189
click to vote
APN
1995
Springer
15 years 10 months ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...