2364 search results - page 409 / 473 » An Engine for Computing Well-Founded Models |
187
click to vote
ISPD
2005
ACM
15 years 11 months ago
2005
ACM
The sustained progress of VLSI technology has altered the landscape of routing which is a major physical design stage. For timing driven routings, traditional approaches which con...
196
click to vote
IWVF
2001
Springer
15 years 10 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
195
click to vote
JACM
2002
15 years 5 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
164
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we study stochastic dynamic games with many players that are relevant for a wide range of social, economic, and engineering applications. The standard solution conce...
166
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...