7213 search results - page 1270 / 1443 » Automated model grouping |
191
click to vote
LICS
2006
IEEE
15 years 12 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
144
click to vote
JCDL
2006
ACM
15 years 11 months ago
2006
ACM
We describe an HTML web page segmentation algorithm, which is applied to segment online medical journal articles (regular HTML and PDF-Converted-HTML files). The web page content ...
144
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Relevance feedback is the state-of-the-art approach for adjusting query results to the needs of the users. This work extends the existing framework of image retrieval with relevan...
170
click to vote
BIBE
2005
IEEE
15 years 11 months ago
2005
IEEE
We address the issue of providing highly informative annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a set of candidate ...
155
click to vote
CIMCA
2005
IEEE
15 years 11 months ago
2005
IEEE
Minimal Switching Graph (MSG) is a graphical model for the constrained via minimization problem — a combinatorial optimization problem in integrated circuit design automation. F...