Search Sciweavers | Sciweavers

35

CVPR
2001
IEEE

464views Computer Vision» more CVPR 2001»

Rapid Object Detection using a Boosted Cascade of Simple Features

14 years 9 months ago

This paper describes a machine learning approach for visual object detection which is capable of processing images extremely rapidly and achieving high detection rates. This wor...

Paul A. Viola, Michael J. Jones

claim paper

Read More »

24

click to vote

TASE
2007
IEEE

127views Software Engineering» more TASE 2007»

Symmetry Reduced Model Checking for B

14 years 1 months ago

Download eprints.ecs.soton.ac.uk

Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...

Edd Turner, Michael Leuschel, Corinna Spermann, Mi...

claim paper

Read More »

32

click to vote

COMPSAC
2003
IEEE

153views Software Engineering» more COMPSAC 2003»

Data-Flow-Based Unit Testing of Aspect-Oriented Programs

14 years 24 days ago

Download cse.sjtu.edu.cn

The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...

Jianjun Zhao

claim paper

Read More »

23

click to vote

ACCV
2006
Springer

106views Computer Vision» more ACCV 2006»

Pseudo Measurement Based Multiple Model Approach for Robust Player Tracking

14 years 1 months ago

Download www.aiar.xjtu.edu.cn

This paper presents a robust player tracking method for sports video analysis. In order to track agile player stably and robustly, we employ multiple models method, with a mean shi...

Xiaopin Zhong, Nanning Zheng, Jianru Xue

claim paper

Read More »

36

click to vote

Publication

338views

A Reference Discretization Strategy for the Numerical Solution of Physical Field Problems.

12 years 5 months ago