Sciweavers

6562 search results - page 31 / 1313
» Noetherianity and Combination Problems
Sort
View
107
Voted
CORR
2006
Springer
151views Education» more  CORR 2006»
15 years 21 days ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
ECCV
2010
Springer
14 years 11 months ago
Disparity Statistics for Pedestrian Detection: Combining Appearance, Motion and Stereo
Pedestrian detection is an important problem in computer vision due to its importance for applications such as visual surveillance, robotics, and automotive safety. This paper push...
Stefan Walk, Konrad Schindler, Bernt Schiele
102
Voted
ICIP
2010
IEEE
14 years 10 months ago
Spatio-temporal combination of saliency maps and eye-tracking assessment of different strategies
The modeling of the human visual attention into a computational attention model leads to the split of visual features into several independent channels. Then, a difficult problem ...
Christel Chamaret, Jean-Claude Chevet, Olivier Le ...
98
Voted
ISCAS
2008
IEEE
185views Hardware» more  ISCAS 2008»
15 years 7 months ago
A variant of a radix-10 combinational multiplier
— We consider the problem of adding the partial products in the combinational decimal multiplier presented by Lang and Nannarelli. In the original paper this addition is done wit...
Luigi Dadda, Alberto Nannarelli
121
Voted
HICSS
2005
IEEE
142views Biometrics» more  HICSS 2005»
15 years 6 months ago
Integrated Optimization and Multi-Agent Technology for Combined Production and Transportation Planning
In this research project, an integration of multi-agent technology and optimization techniques is suggested for the combined production and transport planning problem in a transpo...
Jan A. Persson, Paul Davidsson