Sciweavers

955 search results - page 17 / 191

» Tractable Temporal Reasoning

19

TIME
2005
IEEE

132views Automated Reasoning» more TIME 2005»

Temporal XML? SQL Strikes Back!

14 years 1 months ago

Temporal XML? SQL Strikes Back!

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo, Xin Zhou

claim paper

Read More »

23

TIME
2003
IEEE

81views Automated Reasoning» more TIME 2003»

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

14 years 29 days ago

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

Download www.csc.liv.ac.uk

Clare Dixon, Cláudia Nalon, Michael Fisher

claim paper

Read More »

15

TIME
2003
IEEE

105views Automated Reasoning» more TIME 2003»

Temporal Queries in XML Document Archives and Web Warehouses

14 years 29 days ago

Temporal Queries in XML Document Archives and Web Warehouses

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo

claim paper

Read More »

21

TIME
2002
IEEE

118views Automated Reasoning» more TIME 2002»

Performance of Querying Temporal Attributes in Object-Relational Databases

14 years 18 days ago

Performance of Querying Temporal Attributes in Object-Relational Databases

Download www.dbs.uni-hannover.de

Carsten Kleiner, Udo W. Lipeck

claim paper

Read More »

18

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Temporal Views as Abstract Relations

14 years 18 days ago

Temporal Views as Abstract Relations

Download www.cs.man.ac.uk

Allan Ramsay

claim paper

Read More »

« Prev « First page 17 / 191 Last » Next »