53 search results - page 4 / 11 » An Iterator Construct for the Refinement Calculus |
124
Voted
SCP
2011
14 years 4 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
VISUALIZATION
1999
IEEE
15 years 1 months ago
1999
IEEE
We present a method for the hierarchical representation of vector fields. Our approach is based on iterative refinement using clustering and principal component analysis. The inpu...
TVCG
2010
14 years 8 months ago
2010
—It remains challenging for information visualization novices to rapidly construct visualizations during exploratory data analysis. We conducted an exploratory laboratory study i...
100
click to vote
COMPSAC
2010
IEEE
14 years 6 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...