2293 search results - page 117 / 459 » Temporal Logic in Information Systems |
COMPCON
1995
IEEE
15 years 1 months ago
1995
IEEE
The Real-Time Environmental Information Network and Analysis System (REINAS) is a distributed system supporting the conduct of regional environmental science research at the desk ...
110
click to vote
METMBS
2003
14 years 11 months ago
2003
Data retrieved from body sensors such as ECG machines and new-generation multi-sensor systems such as respiratory monitors are varied and abundant. Managing and integrating this s...
ACL
2010
14 years 8 months ago
2010
We describe a novel approach to unsupervised learning of the events that make up a script, along with constraints on their temporal ordering. We collect naturallanguage descriptio...
117
click to vote
ASC
2011
14 years 5 months ago
2011
In the area of data mining, the discovery of valuable changes and connections (e.g., causality) from multiple data sets has been recognized as an important issue. This issue essen...
LFCS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...