6284 search results - page 1175 / 1257 » An evaluation of Bradfordizing effects |
CAV
2004
Springer
14 years 1 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
CIVR
2004
Springer
14 years 1 months ago
2004
Springer
Earlier this year, a major effort was initiated to study the theoretical and empirical aspects of the automatic detection of semantic concepts in broadcast video, complementing ong...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...
COOPIS
2004
IEEE
14 years 1 months ago
2004
IEEE
In application server systems, such as J2EE, replication is an essential strategy for reliability and efficiency. Many J2EE implementations, both commercial and open-source, provid...
DASFAA
2004
IEEE
14 years 1 months ago
2004
IEEE
Users of database applications, especially in the e-commerce domain, often resort to exploratory "trial-and-error" queries since the underlying data space is huge and unf...