Search Sciweavers | Sciweavers

4126 search results - page 4 / 826

» Relationships with other Formalisms

click to vote

SSD
1993
Springer

237views Database» more SSD 1993»

A Small Set of Formal Topological Relationships Suitable for End-User Interaction

13 years 11 months ago

Download www.gdmc.nl

Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...

Eliseo Clementini, Paolino Di Felice, Peter van Oo...

claim paper

Read More »

click to vote

PDPTA
2003

148views Distributed And Parallel Com...» more PDPTA 2003»

The Application of Software Process Precedence Relationship Formalisms to Concurrent Hardware Systems

13 years 8 months ago

Download kricks.eng.ua.edu

In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...

Kenneth G. Ricks, David Jeff Jackson, B. Earl Well...

claim paper

Read More »

click to vote

ILP
2005
Springer

90views Automated Reasoning» more ILP 2005»

Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models

14 years 18 days ago

Download dtai.cs.kuleuven.be

Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...

Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe...

claim paper

Read More »

click to vote

FODO
1989
Springer

89views Algorithms» more FODO 1989»

A Formal Definition of Binary Topological Relationships

13 years 10 months ago

Download www.spatial.maine.edu

Max J. Egenhofer

claim paper

Read More »