1018 search results - page 139 / 204 » Abstraction and Refinement in Model Checking |
132
Voted
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. We investigate a strategy for reconstructing of buildings from multiple (uncalibrated) images. In a similar manner to the Facade approach we first generate a coarse piece...
122
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract- This paper presents a RWA strategy based on the stochastic estimation of the Effective Number of Available Wavelengths (ENAW) along interdomain paths. We propose an appro...
148
Voted
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
Although work pr ocesses, like software pr ocesses, include a number of process aspects such as defined phases and deadlines, they are not plannable in detail. Howe ver, the advan...
133
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- Identification of output error models from frequency domain data generally results in a non-convex optimization problem. A well-known method to approach the output error...
126
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...