3573 search results - page 304 / 715 » Reasoning about Codata |
140
click to vote
CSL
2005
Springer
15 years 10 months ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
143
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
125
click to vote
PPSWR
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
136
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
The objective of the Market Blended Insight (MBI) project is to develop web based techniques to improve the performance of UK Business to Business (B2B) marketing activities. The a...
139
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...