972 search results - page 140 / 195 » Reasoning with Conditional Time-Intervals |
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
QOFIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Web pre-fetching is a technique that tries to improve the QoS perceived by a user when surfing the web. Previous studies show that the cost of an effective hit rate is qu...
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Since 1960s, aperture patterns have been studied extensively and a variety of coded apertures have been proposed for various applications, including extended depth of field, defocu...