TIME 2009 - PDF Preprint Papers

TIME 2009 International Syposium on Temporal Representation and Reasoning

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed TIME-2009 Paper

click to vote

TIME
2009
IEEE

136views Automated Reasoning» more TIME 2009»

Strong Temporal, Weak Spatial Logic for Rule Based Filters

2 years 2 days ago

Download www.info2.uqam.ca

—Rule-based ﬁlters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the ﬁrst fulﬁlled condition, whose matching decision de...

Roger Villemaire, Sylvain Hallé

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	136	Strong Temporal, Weak Spatial Logic for Rule Based Filters	claim
2	118	Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases	claim
3	108	Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time	claim
4	97	On the Expressivity of RoCTL*	claim
5	88	Preserving Anonymity of Recurrent Location-Based Queries	claim
6	85	Simple Algorithm for Simple Timed Games	claim
7	79	Model Checking CTL is Almost Always Inherently Sequential	claim
8	78	Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies	claim
9	78	The AXML Artifact Model	claim
10	77	On First-Order Query Rewriting for Incomplete Database Histories	claim
11	66	Undecidability of Interval Temporal Logics with the Overlap Modality	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers