3179 search results - page 335 / 636 » Applications of PCF Theory |
115
Voted
AIMSA
2000
Springer
15 years 8 months ago
2000
Springer
In the present paper we use the approach of height functions to de ning a semi-distance measure between Horn clauses. This appraoch is already discussed elsewhere in the framework ...
183
Voted
AISC
2010
Springer
15 years 8 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
125
Voted
INFOVIS
1999
IEEE
15 years 8 months ago
1999
IEEE
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...
103
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
122
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...