7495 search results - page 455 / 1499 » Intelligent Document Processing |
171
click to vote
AI
2006
Springer
15 years 11 months ago
2006
Springer
In the context of probabilistic verification, we provide a new notion of trace-equivalence divergence between pairs of Labelled Markov processes. This divergence corresponds to the...
186
click to vote
DOCENG
2004
ACM
16 years 1 months ago
2004
ACM
The advantages of a COG (Component Object Graphic) approach to the composition of PDF pages have been set out in a previous paper [1]. However, if pages are to be composed in this...
197
click to vote
ATAL
2004
Springer
16 years 1 months ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...
228
click to vote
ESWS
2008
Springer
15 years 9 months ago
2008
Springer
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...
206
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an analysis and system-level design of a capacitive harvester of vibration energy composed from a mechanical resonator, capacitive transducer and a conditioning...