Sciweavers

11784 search results - page 278 / 2357
» Interpolation for data structures
Sort
View
SAS
2007
Springer
15 years 10 months ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
126
Voted
BPM
2006
Springer
98views Business» more  BPM 2006»
15 years 8 months ago
Structured Service Composition
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...
Rik Eshuis, Paul W. P. J. Grefen, Sven Till
IJCAI
1997
15 years 6 months ago
Structural Inferences from Massive Datasets
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...
Kenneth Yip
140
Voted
HASKELL
2008
ACM
15 years 5 months ago
Clase: cursor library for a structured editor
The “zipper” is a well known design pattern for providing a cursorlike interface to a data structure. However, the classic treatise by Huet only scratches the surface of some ...
Tristan O. R. Allwood, Susan Eisenbach
130
Voted
NAR
2011
162views Computer Vision» more  NAR 2011»
14 years 7 months ago
GlycomeDB - a unified database for carbohydrate structures
GlycomeDB integrates the structural and taxonomic data of all major public carbohydrate databases, as well as carbohydrates contained in the Protein Data Bank, which renders the d...
René Ranzinger, Stephan Herget, Claus-Wilhe...