3495 search results - page 260 / 699 » On the random satisfiable process |
173
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
185
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
197
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
We study the spatial-temporal sampling of a linear diffusion field, and show that it is possible to compensate for insufficient spatial sampling densities by oversampling in tim...
199
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Many image and signal processing kernels can be optimized for performance consuming a reasonable area by doing loops parallelization with extensive use of pipelining. This paper p...
162
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper a new class of invertible watermarking approach based on quantization has been introduced. Based on the necessary conditions (blindness, reversibility and impercepti...