Search Sciweavers | Sciweavers

2299 search results - page 32 / 460

» Logical Data Expiration

140

click to vote

SCP
1998

138views more SCP 1998»

A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages

15 years 2 months ago

Download www.cs.unipr.it

Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...

Roberto Bagnara

claim paper

Read More »

106

click to vote

GEOINFORMATICA
2007

101views more GEOINFORMATICA 2007»

Logical Representation of a Conceptual Model for Spatial Data Warehouses

15 years 2 months ago

Download code.ulb.ac.be

Elzbieta Malinowski, Esteban Zimányi

claim paper

Read More »

106

click to vote

JELIA
2010
Springer

211views Artificial Intelligence» more JELIA 2010»

Counter Systems for Data Logics

15 years 1 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri

claim paper

Read More »

112

Voted

CORR
2011
Springer

182views Education» more CORR 2011»

An automaton over data words that captures EMSO logic

14 years 10 months ago

Download www.cmi.ac.in

Benedikt Bollig

claim paper

Read More »

108

Voted

DLOG
2011

194views Automated Reasoning» more DLOG 2011»

Mapping Data to Higher-Order Description Logic Knowledge Bases

14 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers