Sciweavers

11219 search results - page 213 / 2244
» Retroactive data structures
Sort
View
152
Voted
SAS
2007
Springer
16 years 15 days 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
BPM
2006
Springer
98views Business» more  BPM 2006»
15 years 10 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 7 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
HASKELL
2008
ACM
15 years 7 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
CVPR
2003
IEEE
16 years 8 months ago
Man-Made Structure Detection in Natural Images using a Causal Multiscale Random Field
This paper presents a generative model based approach to man-made structure detection in 2D natural images. The proposed approach uses a causal multiscale random field suggested i...
Sanjiv Kumar, Martial Hebert