Search Sciweavers | Sciweavers

981 search results - page 2 / 197

» Negation in Spatial Reasoning

click to vote

DLOG
2008

139views Automated Reasoning» more DLOG 2008»

Next Steps for Description Logics of Minimal Knowledge and Negation as Failure

13 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Peihong Ke, Ulrike Sattler

claim paper

Read More »

click to vote

GIS
2002
ACM

132views Automated Reasoning» more GIS 2002»

Search algorithms for multiway spatial joins

13 years 5 months ago

Download www.dbnet.ntua.gr

This papers deals with multiway spatial joins when (i) there is limited time for query processing and the goal is to retrieve the best possible solutions within this limit (ii) the...

Dimitris Papadias, Dinos Arkoumanis

claim paper

Read More »

click to vote

AIM
2004

111views Software Engineering» more AIM 2004»

Qualitative Spatial Reasoning Extracting and Reasoning with Spatial Aggregates

13 years 5 months ago

Download www.cs.dartmouth.edu

Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...

Christopher Bailey-Kellogg, Feng Zhao

claim paper

Read More »

click to vote

DSS
2007

98views more DSS 2007»

Modelling uncertain positive and negative reasons in decision aiding

13 years 5 months ago

Download www.lamsade.dauphine.fr

The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...

Meltem Öztürk, Alexis Tsoukiàs

claim paper

Read More »

click to vote

LPAR
2001
Springer

144views Automated Reasoning» more LPAR 2001»

Efficient Negation Using Abstract Interpretation

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers