4100 search results - page 250 / 820 » General Linear Cameras |
178
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
185
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
The aim of this paper is to give a.sketch of a foundation of statistical analysis with fuzzy data, extending the methodology of Mathematical Stat,istics. For t.hispurpose it will ...
149
click to vote
UAI
2004
15 years 8 months ago
2004
The paper describes an application of Aggregating Algorithm to the problem of regression. It generalizes earlier results concerned with plain linear regression to kernel technique...
160
click to vote
AAAI
2000
15 years 8 months ago
2000
We introduce new linear time algorithms for satisfiability of binary propositional theories (2-SAT), and for recognition and satisfiability of renamable Horn theories. The algorit...
175
click to vote
APPROX
2010
Springer
15 years 6 months ago
2010
Springer
We give the first constant-factor approximation algorithm for Sparsest-Cut with general demands in bounded treewidth graphs. In contrast to previous algorithms, which rely on the f...