Sciweavers

623 search results - page 85 / 125
» Relational Parametricity for Control Considered as a Computa...
Sort
View
ICCV
2001
IEEE
16 years 1 months ago
Dimensional Analysis of Image Motion
Studies of image motion typically address motion categories on a case-by-case basis. Examples include a moving point, a moving contour, or a 2D optical flow field. The typical ass...
Michael S. Langer, Richard Mann
ECCV
2004
Springer
16 years 1 months ago
Multiple Classifier System Approach to Model Pruning in Object Recognition
We propose a multiple classifier system approach to object recognition in computer vision. The aim of the approach is to use multiple experts successively to prune the list of cand...
Josef Kittler, Alireza Ahmadyfard
CVPR
2010
IEEE
15 years 5 months ago
Novel Observation Model for Probabilistic Object Tracking
Treating visual object tracking as foreground and background classification problem has attracted much attention in the past decade. Most methods adopt mean shift or brute force s...
Dawei Liang, Qingming Huang, Hongxun Yao, Shuqiang...
VTC
2006
IEEE
114views Communications» more  VTC 2006»
15 years 5 months ago
A Scheduling Scheme under a Ratio Constraint for the Multiuser MIMO Systems
A scheduling scheme for MIMO systems which has the capability of obtaining multiuser diversity gain and controlling the link connection ratio among users simultaneously is proposed...
Jiwon Kang, Hakju Lee, Chungyong Lee, Young Yong K...
FROCOS
2007
Springer
15 years 6 months ago
Combining Proof-Producing Decision Procedures
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tr...