9414 search results - page 535 / 1883 » Adaptive Query Processing |
175
click to vote
CAIP
2009
Springer
15 years 11 months ago
2009
Springer
This paper deals with denoising of density images with bad Poisson statistics (low count rates), where the reconstruction of the major structures seems the only reasonable task. Ob...
153
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
171
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
164
click to vote
WSC
2008
15 years 9 months ago
2008
Multi-Agent Resource Allocation (MARA) is a field developing solutions to the problem of distributing a number of resources amongst multiple agents. This field has interdisciplina...
178
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
The advent of Web services has made automated workflow composition relevant to Web based applications. One technique that has received some attention, for automatically composing ...