2661 search results - page 248 / 533 » Quantum Complexity Classes |
123
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
117
Voted
RT
1995
Springer
15 years 7 months ago
1995
Springer
: Wavelets are a powerful tool forplanar image processing. The resulting algorithms are straightforward, fast, and efficient. With the recently developed spherical wavelets this f...
117
click to vote
PODS
1991
ACM
15 years 7 months ago
1991
ACM
In this paper we characterise exactly the complexity of a set based database language called SRL, which presents a unified framework for queries and updates. By imposing simple s...
148
click to vote
ASWC
2009
Springer
15 years 7 months ago
2009
Springer
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of subactivity occurrences in a complex activity. We show h...
127
click to vote
AIPS
2007
15 years 6 months ago
2007
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...