2293 search results - page 114 / 459 » Temporal Logic in Information Systems |
ENTCS
2006
14 years 10 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
TIM
2010
14 years 4 months ago
2010
In this paper, short- and long-term temporal dynamic information is investigated for the blind measurement of room acoustical parameters. In particular, estimators of room reverber...
171
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
We investigate the idea of finding semantically related search engine queries based on their temporal correlation; in other words, we infer that two queries are related if their p...
108
click to vote
COSIT
1999
Springer
15 years 2 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
JUCS
2008
14 years 10 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...