Sciweavers

4137 search results - page 697 / 828
» Managing Expressions as Data in Relational Database Systems
Sort
View
CLA
2006
15 years 7 months ago
First Elements on Knowledge Discovery Guided by Domain Knowledge (KDDK)
In this paper, we present research trends carried out in the Orpailleur team at loria, showing how knowledge discovery and knowledge processing may be combined. The knowledge disco...
Jean Lieber, Amedeo Napoli, Laszlo Szathmary, Yann...
CORR
2010
Springer
114views Education» more  CORR 2010»
15 years 4 months ago
Efficiently Discovering Hammock Paths from Induced Similarity Networks
ty networks are important abstractions in many information management applications such as recommender systems, corpora analysis, and medical informatics. For instance, in a recom...
M. Shahriar Hossain, Michael Narayan, Naren Ramakr...
ICFP
2012
ACM
13 years 8 months ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens
JBI
2010
212views Bioinformatics» more  JBI 2010»
15 years 1 months ago
Cloud computing: A new business paradigm for biomedical information sharing
We examine how the biomedical informatics (BMI) community, especially consortia that share data and applications, can take advantage of a new resource called cloud computing. Clou...
Arnon Rosenthal, Peter Mork, Maya Hao Li, Jean Sta...
MOBISYS
2009
ACM
16 years 7 months ago
Longitudinal study of a building-scale RFID ecosystem
Radio Frequency IDentification (RFID) deployments are becoming increasingly popular in both industrial and consumer-oriented settings. To effectively exploit and operate such depl...
Evan Welbourne, Karl Koscher, Emad Soroush, Magdal...