Search Sciweavers | Sciweavers

1860 search results - page 25 / 372

» A Temporal Logic of Robustness

122

Voted

FUIN
2006

68views more FUIN 2006»

Expressing and Verifying Temporal and Structural Properties of Mobile Agents

15 years 5 months ago

Download www.ipipan.gda.pl

Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...

Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Paw...

claim paper

Read More »

145

click to vote

TIME
2007
IEEE

151views Automated Reasoning» more TIME 2007»

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics

15 years 12 months ago

Download www.ing.unibs.it

Alfonso Gerevini

claim paper

Read More »

129

click to vote

TIME
2006
IEEE

81views Automated Reasoning» more TIME 2006»

From Language to Time: A Temporal Expression Anchorer

15 years 11 months ago

Download www.cs.cmu.edu

Benjamin Han, Donna Gates, Lori S. Levin

claim paper

Read More »

137

Voted

TIME
2005
IEEE

132views Automated Reasoning» more TIME 2005»

Temporal XML? SQL Strikes Back!

15 years 11 months ago

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo, Xin Zhou

claim paper

Read More »

120

click to vote

TIME
2003
IEEE

105views Automated Reasoning» more TIME 2003»

Temporal Queries in XML Document Archives and Web Warehouses

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers