1699 search results - page 54 / 340 » On the Expressive Power of QLTL |
106
Voted
CIKM
2006
Springer
15 years 4 months ago
2006
Springer
By providing an integrated and optimized support for user-defined aggregates (UDAs), data stream management systems (DSMS) can achieve superior power and generality while preservi...
123
Voted
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
83
Voted
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
Power estimation is important for system-level exploration and trade-off analysis of VLSI systems. A power estimator for high-speed analog to digital converters that exploits info...
123
Voted
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Tree-walking automata (TWAs) recently received new attention in the fields of formal languages and databases. Towards a better understanding of their expressiveness, we c...
136
Voted
AB
2008
Springer
15 years 7 months ago
2008
Springer
We explore the computational power of biochemistry with respect to basic chemistry, identifying complexation as the basic mechanism that distinguishes the former from the latter. W...