383 search results - page 38 / 77 » The Study of 3D-from-2D Using Elimination |
CADE
2002
Springer
14 years 10 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
WWW
2010
ACM
14 years 4 months ago
2010
ACM
Click data captures many users’ document preferences for a query and has been shown to help significantly improve search engine ranking. However, most click data is noisy and of...
ICSM
2008
IEEE
14 years 4 months ago
2008
IEEE
International standardization in information representation, organization, and dissemination are meant to eliminate the discrepancies in communication among participating organiza...
CEC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Generating test data for Object-Oriented (OO) software is a hard task. Little work has been done on the subject, and a lot of open problems still need to be investigated. In th...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
—In this paper, we study the downlink precoding schemes for MIMO Gaussian broadcast channels (MIMO GBC). A novel low-complexity zero-forcing dirty-paper-coding (DPC) scheme, name...