4987 search results - page 151 / 998 » Support Ordered Resolution |
152
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: The ability to distinguish between genes and proteins is essential for understanding biological text. Support Vector Machines (SVMs) have been proven to be very effici...
131
click to vote
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
119
click to vote
ICIP
2008
IEEE
15 years 9 months ago
2008
IEEE
This work presents a new statistical approach to region merging where regions are modeled as arbitrary discrete distributions, directly estimated from the pixel values. Under this...
109
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
It is well-known that linguistic decision-making problems that manage preferences from different experts follow a common resolution scheme composed by two phases: an aggregation p...
128
click to vote
SAT
2004
Springer
15 years 8 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...