1458 search results - page 159 / 292 » Extended Term Rewriting Systems |
119
click to vote
JAT
2007
15 years 6 months ago
2007
Let A ⊂ L2(R) be at most countable, and p, q ∈ N. We characterize various frame-properties for Gabor systems of the form G(1, p/q,A) = {e2 imxg(x − np/q) : m, n ∈ Z, g ∈...
158
click to vote
HYBRID
2010
Springer
16 years 28 days ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
161
Voted
MUM
2009
ACM
16 years 27 days ago
2009
ACM
Reducing their energy consumption has become an important objective for many people. Consumption transparency and timely feedback are essential to support those who want to adjust...
144
click to vote
RV
2007
Springer
16 years 6 days ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
157
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
In emerging e-commerce applications, time constrained information sharing between different systems is becoming a common phenomenon. A flexible and efficient mechanism is needed t...