971 search results - page 137 / 195 » Approximate Satisfiability and Equivalence |
APLAS
2009
ACM
15 years 6 months ago
2009
ACM
When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O” notation, whereby we focus on the behaviour of the prog...
PIMRC
2008
IEEE
15 years 6 months ago
2008
IEEE
—We present an iterative joint scheduling-routing algorithm for characterizing the long-term performance of a cellular-relaying network. The physical layer model is based on idea...
WACV
2008
IEEE
15 years 6 months ago
2008
IEEE
Most face recognition algorithms use a “distancebased” approach: gallery and probe images are projected into a low dimensional feature space and decisions about matching are b...
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper presents a novel generalised Multi-Carrier Direct Sequence Code Division Multiple Access (MC DS-CDMA) system invoking smart antennas for improving the achievable per...
103
click to vote
3DPVT
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents an approach to recover body motions from multiple views using a 3D skeletal model. It takes, as input, foreground silhouette sequences from multiple viewpoints...