1699 search results - page 147 / 340 » On the Expressive Power of QLTL |
166
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
We describe a procedure for inducing conditional densities within the mixtures of truncated exponentials (MTE) framework. We analyse possible conditional MTE specifications and pr...
186
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
176
click to vote
VR
2008
IEEE
16 years 26 days ago
2008
IEEE
Interaction in conversational interfaces strongly relies on the system’s capability to interpret the user’s references to objects via deictic expressions. Deictic gestures, es...
161
click to vote
EVOW
2005
Springer
16 years 17 hour ago
2005
Springer
Reversible computing basically means computation with less or not at all electrical power. Since the standard binary gates are not usually reversible we use the Fredkin gate in ord...
155
click to vote
FORMATS
2005
Springer
16 years 16 hour ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...