7820 search results - page 254 / 1564 » Formalization of Time and Space |
199
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...
229
click to vote
NIPS
2001
15 years 8 months ago
2001
This paper proposes an approach to classification of adjacent segments of a time series as being either of classes. We use a hierarchical model that consists of a feature extract...
221
click to vote
CGF
2005
15 years 7 months ago
2005
Current surface-based methods for interactive freeform editing of high resolution 3D models are very powerful, but at the same time require a certain minimum tessellation or sampl...
219
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
171
click to vote
EPEW
2005
Springer
16 years 24 days ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...