8322 search results - page 88 / 1665 » What Are We Looking for |
AOSD
2012
ACM
12 years 3 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
BMCBI
2007
13 years 7 months ago
2007
Background: Marine ecological genomics can be defined as the application of genomic sciences to understand the structure and function of marine ecosystems. In this field of resear...
CSCW
2010
ACM
14 years 4 months ago
2010
ACM
People who review products on the web invest considerable time and energy in what they write. So why would someone write a review that restates earlier reviews? Our work looks to ...
CIKM
2011
Springer
12 years 7 months ago
2011
Springer
This paper describes how to make use of e-books that look like printed books in a knowledge network. After an overview of digitalization efforts and current digital library initia...
AAAI
2007
13 years 10 months ago
2007
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...