Sciweavers

899 search results - page 23 / 180
» A Temporal Language for SystemC
Sort
View
CSL
2008
Springer
14 years 11 months ago
Quantified Positive Temporal Constraints
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...
Witold Charatonik, Michal Wrona
98
Voted
APIN
2002
106views more  APIN 2002»
14 years 9 months ago
Querying Temporal Constraint Networks: A Unifying Approach
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...
Manolis Koubarakis
163
Voted
POPL
2009
ACM
15 years 10 months ago
A foundation for flow-based program matching: using temporal logic and model checking
Damien Doligez, Gilles Muller, Julia L. Lawall, Ju...
104
Voted
KDD
2007
ACM
165views Data Mining» more  KDD 2007»
15 years 10 months ago
Stochastic processes and temporal data mining
This article tries to give an answer to a fundamental question in temporal data mining: "Under what conditions a temporal rule extracted from up-to-date temporal data keeps i...
Paul Cotofrei, Kilian Stoffel
FLAIRS
2007
15 years 3 hour ago
Deriving Chronological Information from Texts through a Graph-Based Algorithm
We propose a method of deriving chronological order of events in natural language texts by constraining temporal boundaries associated to events and projecting them on a timeline....
Cosmin Adrian Bejan