971 search results - page 137 / 195 » Approximate Satisfiability and Equivalence |
139
click to vote
APLAS
2009
ACM
16 years 25 days 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...
155
click to vote
PIMRC
2008
IEEE
16 years 21 days 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...
163
click to vote
WACV
2008
IEEE
16 years 21 days 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...
177
click to vote
VTC
2007
IEEE
16 years 17 days 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...
200
click to vote
3DPVT
2006
IEEE
16 years 12 days 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...