434 search results - page 34 / 87 » A Semantic Caching Method Based on Linear Constraints |
ALP
1994
Springer
14 years 24 days ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
INFORMS
2010
13 years 6 months ago
2010
The quadratic linear ordering problem naturally generalizes various optimization problems, such as bipartite crossing minimization or the betweenness problem, which includes linear...
ECCV
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we propose a robust supervised label transfer method for the semantic segmentation of street scenes. Given an input image of street scene, we first find multiple ima...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
The traditional SPM approach based on bag-of-features (BoF) must use nonlinear classifiers to achieve good image classification performance. This paper presents a simple but effec...
GLVLSI
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we have applied statistical sizing in an industrial setting. Efficient implementation of the statistical sizing algorithm is achieved by utilizing a dedicated interi...