401 search results - page 76 / 81 » Types for describing coordinated data structures |
POPL
2010
ACM
14 years 5 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
SI3D
2006
ACM
14 years 1 months ago
2006
ACM
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Named entity recognition studies the problem of locating and classifying parts of free text into a set of predefined categories. Although extensive research has focused on the de...
BMCBI
2010
13 years 7 months ago
2010
Background: Successful application of crosslinking combined with mass spectrometry for studying proteins and protein complexes requires specifically-designed crosslinking reagents...
BMCBI
2006
13 years 7 months ago
2006
Background: The relationship between disease susceptibility and genetic variation is complex, and many different types of data are relevant. We describe a web resource and databas...