2930 search results - page 97 / 586 » Feature Weighting for Segmentation |
103
Voted
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
- This paper presents a spectrally-weighted balanced truncation technique for RLC interconnects, a technique needed when the interconnect circuit parameters change as a result of v...
121
Voted
GCB
2009
Springer
15 years 9 months ago
2009
Springer
: Genome annotation relies to a large extent on the recognition of homologs to already known genes. The starting point for such protocols is a collection of known sequences from on...
118
click to vote
SAT
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
112
click to vote
ISWC
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents the e-SUIT, a wearable computer incorporated in a traditional business suit. A key feature of the system is an array of input/output devices integrated into th...
117
click to vote
JAIR
2008
15 years 2 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...