3281 search results - page 26 / 657 » Bases for parametrized iterativity |
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
125
click to vote
LATIN
1995
Springer
15 years 3 months ago
1995
Springer
A linear-time algorithm for the minimum-ratio spanning tree problem on planar graphs is presented. The algorithm is based on a new planar minimum spanning tree algorithm. The appr...
MICCAI
2005
Springer
16 years 21 days ago
2005
Springer
Analyses of fMRI brain data are often based on statistical tests applied to each voxel or use summary statistics within a region of interest (such as mean or peak activation). Thes...
SHAPE
1999
Springer
15 years 4 months ago
1999
Springer
The objective of this work is the automatic detection and grouping of imaged elements which repeat in a scene. We show that structures that repeat in the world (for example wall p...
114
click to vote
ICCAD
1995
IEEE
15 years 3 months ago
1995
IEEE
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...