Sciweavers

1071 search results - page 123 / 215
» Programming with enumerable sets of structures
Sort
View
101
Voted
BMCBI
2010
208views more  BMCBI 2010»
15 years 22 days ago
Calculation of accurate small angle X-ray scattering curves from coarse-grained protein models
Background: Genome sequencing projects have expanded the gap between the amount of known protein sequences and structures. The limitations of current high resolution structure det...
Kasper Stovgaard, Christian Andreetta, Jesper Ferk...
173
Voted
SIGMOD
2009
ACM
143views Database» more  SIGMOD 2009»
16 years 25 days ago
Building search applications with Marklogic Server
Keyword search is recognized as an important technique to unlocking the information found in both structured and semistructured information. With XML as the data model and XQuery ...
Ron Avnur
VMCAI
2007
Springer
15 years 6 months ago
Constructing Specialized Shape Analyses for Uniform Change
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W....
ICALP
2003
Springer
15 years 5 months ago
Scaled Dimension and Nonuniform Complexity
Resource-bounded dimension is a complexity-theoretic extension of classical Hausdorff dimension introduced by Lutz (2000) in order to investigate the fractal structure of sets th...
John M. Hitchcock, Jack H. Lutz, Elvira Mayordomo
83
Voted
ACL
2006
15 years 2 months ago
NLTK: The Natural Language Toolkit
The Natural Language Toolkit is a suite of program modules, data sets and tutorials supporting research and teaching in computational linguistics and natural language processing. ...
Steven Bird