Search Sciweavers | Sciweavers

1353 search results - page 17 / 271

» Streamlined Constraint Reasoning

click to vote

CORR
2006
Springer

79views Education» more CORR 2006»

Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data

13 years 7 months ago

Download www.ai.sri.com

Neil Yorke-Smith, Carmen Gervet

claim paper

Read More »

click to vote

MKM
2005
Springer

123views Information Technology» more MKM 2005»

Computational Origami of a Morley's Triangle

14 years 1 months ago

Download www2.score.cs.tsukuba.ac.jp

Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...

Tetsuo Ida, Hidekazu Takahashi, Mircea Marin

claim paper

Read More »

click to vote

ER
2010
Springer

168views Database» more ER 2010»

Complexity of Reasoning over Temporal Data Models

13 years 6 months ago

Download www.dcs.bbk.ac.uk

Abstract. We investigate the computational complexity of reasoning over temporal extensions of conceptual data models. The temporal conceptual models we analyse include the standar...

Alessandro Artale, Roman Kontchakov, Vladislav Ryz...

claim paper

Read More »

click to vote

CADE
2004
Springer

114views Logical Reasoning» more CADE 2004»

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract

14 years 8 months ago

Download users.info.unicaen.fr

Àngel J. Gil, Bruno Zanuttini, Gernot Salze...

claim paper

Read More »