1699 search results - page 99 / 340 » On the Expressive Power of QLTL |
135
click to vote
JCSC
2002
15 years 15 days ago
2002
There is a growing need to analyze and optimize the stand-by component of power in digital circuits designed for portable and battery-powered applications. Since these circuits re...
74
Voted
ENTCS
2010
15 years 27 days ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
106
Voted
CORR
2008
Springer
15 years 28 days ago
2008
Springer
The classical problem of reliable point-to-point digital communication is to achieve a low probability of error while keeping the rate high and the total power consumption small. ...
98
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Both OWL-DL and function-free Horn rules3 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rule...
103
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
In 1984, Peter Patel-Schneider published a paper [1] entitled Small can be Beautiful in Knowledge Representation in which he advocated for limiting the expressive power of knowledg...