Sciweavers

1790 search results - page 294 / 358
» Automatic Keyword Extraction Using Domain Knowledge
Sort
View
BIRTHDAY
2006
Springer
15 years 6 months ago
Verification by Parallelization of Parametric Code
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
Tobias Gedell, Reiner Hähnle
ESWS
2008
Springer
15 years 4 months ago
Semantic Reasoning: A Path to New Possibilities of Personalization
Abstract. Recommender systems face up to current information overload by selecting automatically items that match the personal preferences of each user. The so-called content-based...
Yolanda Blanco-Fernández, José J. Pa...
124
Voted
ICIP
2002
IEEE
16 years 3 months ago
Semantic based categorization, browsing and retrieval in medical image databases
Content-based retrieval (CBIR) methods in medical databases have been designed to support specific tasks, such as retrieval of digital mammograms or 3D MRI images. These methods c...
Aleksandra Mojsilovic, José Gomes
235
Voted
ICDE
2008
IEEE
146views Database» more  ICDE 2008»
16 years 3 months ago
Explaining and Reformulating Authority Flow Queries
Authority flow is an effective ranking mechanism for answering queries on a broad class of data. Systems have been developed to apply this principle on the Web (PageRank and topic ...
Ramakrishna Varadarajan, Vagelis Hristidis, Louiqa...
129
Voted
WISE
2007
Springer
15 years 8 months ago
Goal-Based Visualization and Browsing for Semantic Web Services
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
Michael Stollberg, Mick Kerrigan