2364 search results - page 409 / 473 » An Engine for Computing Well-Founded Models |
159
click to vote
ISPD
2005
ACM
15 years 9 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...
164
Voted
IWVF
2001
Springer
15 years 8 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...
159
click to vote
JACM
2002
15 years 3 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: ...
144
click to vote
CORR
2010
Springer
14 years 11 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...
145
Voted
WWW
2003
ACM
16 years 4 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 ...