Search Sciweavers | Sciweavers

1167 search results - page 22 / 234

» A Really Temporal Logic

click to vote

FUIN
2006

68views more FUIN 2006»

Expressing and Verifying Temporal and Structural Properties of Mobile Agents

13 years 7 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 »

click to vote

TIME
2007
IEEE

151views Automated Reasoning» more TIME 2007»

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

14 years 1 months ago

Download www.ing.unibs.it

Alfonso Gerevini

claim paper

Read More »

click to vote

TIME
2006
IEEE

81views Automated Reasoning» more TIME 2006»

From Language to Time: A Temporal Expression Anchorer

14 years 1 months ago

Download www.cs.cmu.edu

Benjamin Han, Donna Gates, Lori S. Levin

claim paper

Read More »

click to vote

TIME
2005
IEEE

132views Automated Reasoning» more TIME 2005»

Temporal XML? SQL Strikes Back!

14 years 1 months ago

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo, Xin Zhou

claim paper

Read More »

click to vote

TIME
2003
IEEE

105views Automated Reasoning» more TIME 2003»

Temporal Queries in XML Document Archives and Web Warehouses

14 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers