4617 search results - page 763 / 924 » Automation of Diagrammatic Reasoning |
170
click to vote
TIME
2006
IEEE
16 years 1 months ago
2006
IEEE
An increasing number of documents in companies and other organizations are now only available electronically, and exist in several versions updated at different times. In order to...
226
click to vote
TIME
2006
IEEE
16 years 1 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
167
click to vote
TIME
2005
IEEE
16 years 19 days ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
149
click to vote
TIME
2005
IEEE
16 years 19 days ago
2005
IEEE
We exploit the fact that qualitative Interval Algebra (IA) network problems are finite domain CSPs. In the first part of the paper, we show how to convert a qualitative IA network ...
182
click to vote
CSL
2005
Springer
16 years 18 days 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...