7991 search results - page 109 / 1599 » Using More Reasoning to Improve |
179
click to vote
SEMWEB
2009
Springer
16 years 12 days ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
157
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
187
click to vote
JAIR
2010
15 years 4 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
150
click to vote
ISCAS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper aims to design robust correlation-based watermarking methods for images. We rst present a model of watermark embedding and extracting processes and carry out their ana...
182
click to vote
VALUETOOLS
2006
ACM
15 years 11 months ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...