9818 search results - page 392 / 1964 » Much Support and More |
266
click to vote
LPAR
2012
Springer
14 years 3 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
214
click to vote
ICCV
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper presents a first investigation on the structure from motion problem from the combination of full and weak perspective images. This problem arises in multiresolution obj...
195
click to vote
CHI
2006
ACM
16 years 8 months ago
2006
ACM
Research in Ambient Intelligence and Ubiquitous Computing has put computational devices into many social settings while leaving intact much of the "task support and informati...
220
click to vote
CHI
2005
ACM
16 years 8 months ago
2005
ACM
Providing instructions via handheld prompters holds much promise for supporting independence for persons with cognitive disabilities. Because users of these tools are paired ? car...
162
click to vote
RECOMB
2007
Springer
16 years 8 months ago
2007
Springer
Most tandem mass spectrum identification algorithms use information only from the final spectrum, ignoring precursor information such as peptide retention time (RT). Efforts to exp...