Sciweavers

329 search results - page 64 / 66
» Improving Semantic Web Service Discovery
Sort
View
FOSSACS
2005
Springer
13 years 10 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
HPDC
2010
IEEE
13 years 6 months ago
Browsing large scale cheminformatics data with dimension reduction
Visualization of large-scale high dimensional data tool is highly valuable for scientific discovery in many fields. We present PubChemBrowse, a customized visualization tool for c...
Jong Youl Choi, Seung-Hee Bae, Judy Qiu, Geoffrey ...
VLDB
2005
ACM
119views Database» more  VLDB 2005»
13 years 10 months ago
Database-Inspired Search
“W3QL: A Query Language for the WWW”, published in 1995, presented a language with several distinctive features. Employing existing indexes as access paths, it allowed the sel...
David Konopnicki, Oded Shmueli
SWAP
2007
13 years 6 months ago
An Approach to Decision Support in Heart Failure
Chronic heart failure is a severe clinical syndrome among the most remarkable for prevalence and morbidity in the developed western countries. The European STREP project HEARTFAID ...
Sara Colantonio, Massimo Martinelli, Davide Moroni...
AIME
2007
Springer
13 years 11 months ago
Healthcare Knowledge Management: The Art of the Possible
Abstract. Healthcare knowledge management is an active, yet not a well characterized research topic. In this chapter, we attempt to characterize healthcare knowledge management and...
Syed Sibte Raza Abidi