2702 search results - page 308 / 541 » Practically Applicable Formal Methods |
101
Voted
SODA
1998
ACM
15 years 4 months ago
1998
ACM
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
108
Voted
CSDA
2010
15 years 2 months ago
2010
We introduce robust regression-based online filters for multivariate time series and discuss their performance in real time signal extraction settings. We focus on methods that ca...
270
Voted
PRL
2006
15 years 2 months ago
2006
Various types of moments have been used to recognize image patterns in a number of applications. However, only few works have paid attention to the completeness property of the in...
105
Voted
COMPUTING
2004
15 years 2 months ago
2004
Surface flattening is a crucial problem for many applications as indicated by the steady flow of new methods appearing in related publications. Quality control of these methods, b...
122
click to vote
ICIP
2009
IEEE
15 years 16 days ago
2009
IEEE
In this paper, we propose a simple and effective scheme for screen image scaling, targeting at real-time applications like remote desktop and screen sharing. To balance visual qua...