280 search results - page 29 / 56 » Some Recent Results in Metric Temporal Logic |
OTM
2007
Springer
14 years 1 months ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
BIRTHDAY
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. A formula ψ(Y ) is a selector for a formula ϕ(Y ) in a structure M if there exists a unique Y that satisfies ψ in M and this Y also satisfies ϕ. A formula ψ(X, Y )...
TMC
2008
13 years 7 months ago
2008
In multihop wireless networks, the variability of channels results in some paths providing better performance than other paths. While it is well known that some paths are better t...
DASFAA
2005
IEEE
14 years 1 months ago
2005
IEEE
Recently, several approaches that mine frequent XML query patterns and cache their results have been proposed to improve query response time. However, frequent XML query patterns m...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Temporal difference (TD) learning methods [22] have become popular reinforcement learning techniques in recent years. TD methods have had some experimental successes and have been...