3318 search results - page 15 / 664 » The Weak Instance Model |
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
JVCIR
2010
13 years 6 months ago
2010
We propose a probabilistic graphical model to represent weakly annotated images1 . This model is used to classify images and automatically extend existing annotations to new image...
WADS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Assumptions about node density in the Sensor Networks literature are frequently too strong or too weak. Neither absolutely arbitrary nor uniform deployment seem feasible ...
SIAMAM
2008
13 years 7 months ago
2008
In this paper we present a semi-analytical thermal stress solution for directional growth of type III-V compounds with small lateral heat flux and weak anisotropy. Both geometric a...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...