Sciweavers

726 search results - page 141 / 146
» Extended Query Answering Using Integrity Rules
Sort
View
BMCBI
2010
193views more  BMCBI 2010»
13 years 8 months ago
caGrid Workflow Toolkit: A Taverna based workflow tool for cancer Grid
Background: In biological and medical domain, the use of web services made the data and computation functionality accessible in a unified manner, which helped automate the data pi...
Wei Tan, Ravi K. Madduri, Aleksandra Nenadic, Stia...
CASCON
1996
124views Education» more  CASCON 1996»
13 years 10 months ago
Supporting procedural constructs in existing SQL compilers
The draft ofthe SQL/PSM standard de nes a procedural extension to the existing SQL2 language. An essential part of this extension is the support of procedural constructs such as B...
Gene Fuh, Jyh-Herng Chow, Nelson Mendonça M...
CADE
2011
Springer
12 years 8 months ago
Experimenting with Deduction Modulo
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
Guillaume Burel
CHI
2007
ACM
14 years 9 months ago
InkSeine: In Situ search for active note taking
Using a notebook to sketch designs, reflect on a topic, or capture and extend creative ideas are examples of active note taking tasks. Optimal experience for such tasks demands co...
Ken Hinckley, Shengdong Zhao, Raman Sarin, Patrick...
BMCBI
2008
153views more  BMCBI 2008»
13 years 8 months ago
Version VI of the ESTree db: an improved tool for peach transcriptome analysis
Background: The ESTree database (db) is a collection of Prunus persica and Prunus dulcis EST sequences that in its current version encompasses 75,404 sequences from 3 almond and 1...
Barbara Lazzari, Andrea Caprera, Alberto Vecchiett...