1719 search results - page 277 / 344 » Magic Sets for Data Integration |
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
Users commonly rely just on scarce textual annotation when their searches for images are semantic or conceptual based. Rich visual information is often thrown away in basic annota...
116
click to vote
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
ICDCSW
2007
IEEE
15 years 4 months ago
2007
IEEE
The goal of our work is to help users make more informed choices about what physical activities they undertake. One example is to provide relevant information to help someone choo...
TASE
2007
IEEE
15 years 4 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
NDSS
2005
IEEE
15 years 3 months ago
2005
IEEE
— Content sharing is a popular use of peer-to-peer systems because of their inherent scalability and low cost of maintenance. In this paper, we leverage this nature of peer-topee...