3724 search results - page 233 / 745 » Timed regular expressions |
177
click to vote
IANDC
2011
15 years 26 days ago
2011
We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...
172
click to vote
NHM
2010
15 years 20 days ago
2010
We propose here a general framework to address the question of trace operators on a dyadic tree. This work is motivated by the modeling of the human bronchial tree which, thanks t...
229
click to vote
PAMI
2012
13 years 8 months ago
2012
—We present a novel framework to generate and rank plausible hypotheses for the spatial extent of objects in images using bottom-up computational processes and mid-level selectio...
147
click to vote
CDC
2008
IEEE
16 years 11 days ago
2008
IEEE
Abstract— This paper presents new algorithms for conducting cooperative sensing using a mobile backbone network. This hierarchical sensing approach combines backbone nodes, which...
157
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Sparse Grids are the basis for efficient high dimensional approximation and have recently been applied successfully to predictive modelling. They are spanned by a collection of si...