3161 search results - page 516 / 633 » Hybrid results merging |
158
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Dynamic functional imaging promises powerful tools for the visualization and elucidation of important diseasecausing biological processes, where the pixels often represent a compo...
151
click to vote
KDD
2009
ACM
2009
ACM
Quantification and semi-supervised classification methods for handling changes in class distribution
16 years 7 months ago
In realistic settings the prevalence of a class may change after a classifier is induced and this will degrade the performance of the classifier. Further complicating this scenari...
158
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we describe a novel approach for searching large data sets from a mobile phone. Existing interfaces for mobile search require keyword text entry and are not suited f...
149
click to vote
VLSID
2006
IEEE
16 years 6 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
159
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
Museums attract increasing numbers of online visitors along with their conventional physical visitors. This paper presents a study of a mixed reality system that allows web, virtu...