401 search results - page 76 / 81 » Types for describing coordinated data structures |
155
Voted
POPL
2010
ACM
16 years 1 days 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...
115
Voted
SI3D
2006
ACM
15 years 8 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...
120
Voted
WWW
2010
ACM
15 years 9 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...
89
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Successful application of crosslinking combined with mass spectrometry for studying proteins and protein complexes requires specifically-designed crosslinking reagents...
146
Voted
BMCBI
2006
15 years 2 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...