6455 search results - page 1003 / 1291 » Research problems |
143
click to vote
CF
2005
ACM
15 years 6 months ago
2005
ACM
This paper is about making reversible logic a reality for supercomputing. Reversible logic offers a way to exceed certain basic limits on the performance of computers, yet a power...
144
click to vote
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
135
click to vote
BIBE
2007
IEEE
15 years 6 months ago
2007
IEEE
—In this paper, we have modified a constrained clustering algorithm to perform exploratory analysis on gene expression data using prior knowledge presented in the form of constr...
145
click to vote
CIVR
2008
Springer
15 years 6 months ago
2008
Springer
The problem of search and retrieval of images using relevance feedback has attracted tremendous attention in recent years from the research community. A real-world-deployable inte...
168
click to vote
PAISI
2010
Springer
15 years 6 months ago
2010
Springer
We tackle the problem of automatically detecting controversial issues and their subtopics from news articles. We define a controversial issue as a concept that invokes conflicting ...