11397 search results - page 73 / 2280 » A Relational Abstraction for Functions |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
APWEB
2010
Springer
13 years 10 months ago
2010
Springer
Binary semantic relation extraction is particularly useful for various NLP and Web applications. Currently Webbased methods and Linguistic-based methods are two types of leading me...
BMCBI
2008
13 years 10 months ago
2008
ent> <title> <p>UT-ORNL-KBRIN Bioinformatics Summit 2008</p> </title> <editor>Eric C Rouchka and Julia Krushkal</editor> <note>Meeting ...
VLDB
1992
ACM
14 years 2 months ago
1992
ACM
We propose an extended relational database model which can model both uncertainty and imprecision in data. This model is basedon Dempster-Shafertheory which has become popular in ...
SIGMOD
2005
ACM
14 years 3 months ago
2005
ACM
As XML has evolved from a document markup language to a widely-used format for exchange of structured and semistructured data, managing large amounts of XML data has become increa...