1283 search results - page 13 / 257 » A Survey on Temporal Logics |
TGIS
2002
14 years 9 months ago
2002
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...
77
Voted
KI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
PODS
1996
ACM
15 years 2 months ago
1996
ACM
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper provides a broad overview of logical and black box approaches to fuzzy and rough hybridization. The logical approaches include theoretical, supervised learning, feat...
112
click to vote
IGPL
2006
14 years 10 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...