3169 search results - page 251 / 634 » Robust Timed Automata |
145
click to vote
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
—Knowledge of a network’s topology and internal characteristics such as delay times or losses is crucial to maintain seamless operation of network services. Network tomography ...
137
Voted
CVPR
2005
IEEE
16 years 7 months ago
2005
IEEE
Robust regression techniques are used today in many computer vision algorithms. Chen and Meer recently presented a new robust regression technique named the projection based M-est...
142
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
We consider the problem of evaluating large numbers of XPath filters, each with many predicates, on a stream of XML documents. The solution we propose is to lazily construct a sin...
125
click to vote
PODS
2004
ACM
16 years 5 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
116
click to vote
LATA
2009
Springer
15 years 12 months ago
2009
Springer
We examine decision problems for various classes of convex languages, previously studied by Ang and Brzozowski under the name “continuous languages”. We can decide whether a la...