4036 search results - page 601 / 808 » Formal Methods |
161
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we propose a Web image search result organizing method to facilitate user browsing. We formalize this problem as a salient image region pattern extraction problem. ...
179
click to vote
AIME
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Morphological knowledge (inflection, derivation, compounds) is useful for medical language processing. Some is available for medical English in the UMLS Specialist Lexic...
182
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
162
click to vote
ACSC
2005
IEEE
16 years 4 days ago
2005
IEEE
The data mining inspired problem of finding the critical, and most useful features to be used to classify a data set, and construct rules to predict the class of future examples ...
151
click to vote
SBIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Enterprise delegates Agents’ Negotiation is a simpler task if the enterprises involved in the transaction have homogeneous representation structures as well as the same...