683 search results - page 55 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
143
click to vote
IJCNN
2007
IEEE
15 years 11 months ago
2007
IEEE
— Rapidly evolving businesses generate massive amounts of time-stamped data sequences and defy a demand for massively multivariate time series analysis. For such data the predict...
165
click to vote
TIME
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
139
Voted
AAAI
2006
15 years 6 months ago
2006
Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov l...
140
click to vote
SIGIR
1996
ACM
15 years 8 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
135
Voted
FMSD
2006
15 years 4 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...