Sciweavers

9730 search results - page 56 / 1946

» Relating models of backtracking

97

CORR
2004
Springer

92views Education» more CORR 2004»

Paraconsistent Intuitionistic Fuzzy Relational Data Model

15 years 3 months ago

Paraconsistent Intuitionistic Fuzzy Relational Data Model

Download tinman.cs.gsu.edu

Rajshekhar Sunderraman, Haibin Wang

claim paper

Read More »

86

CSL
2002
Springer

106views Automated Reasoning» more CSL 2002»

A Fully Abstract Relational Model of Syntactic Control of Interference

15 years 3 months ago

A Fully Abstract Relational Model of Syntactic Control of Interference

Download www.cs.bath.ac.uk

Guy McCusker

claim paper

Read More »

75

IJMMS
1998

60views more IJMMS 1998»

A relational model of cognitive maps

15 years 2 months ago

A relational model of cognitive maps

Download damas.ift.ulaval.ca

Brahim Chaib-draa, Jules Desharnais

claim paper

Read More »

91

Voted

TKDE
1998

97views more TKDE 1998»

Algebraic Identities and Query Optimization in a Parametric Model for Relational Temporal Databases

15 years 2 months ago

Algebraic Identities and Query Optimization in a Parametric Model for Relational Temporal Databases

Download archives.cs.iastate.edu

Shashi K. Gadia, Sunil S. Nair

claim paper

Read More »

101

TOPLAS
1998

45views more TOPLAS 1998»

Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications

15 years 2 months ago

Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications

Download people.csail.mit.edu

Daniel Jackson, Somesh Jha, Craig Damon

claim paper

Read More »

« Prev « First page 56 / 1946 Last » Next »