1536 search results - page 207 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
CPHYSICS
2008
13 years 7 months ago
2008
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
BMCBI
2008
13 years 8 months ago
2008
Background: Non-biological signal (or noise) has been the bane of microarray analysis. Hybridization effects related to probe-sequence composition and DNA dye-probe interactions h...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
The ability to determine what day-to-day activity (such as cooking pasta, taking a pill, or watching a video) a person is performing is of interest in many application domains. A ...
ADBIS
1995
Springer
13 years 11 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
In the sponsored search model, search engines are paid by businesses that are interested in displaying ads for their site alongside the search results. Businesses bid for keywords...