Search Sciweavers | Sciweavers

988 search results - page 2 / 198

» Tarski's system of geometry

click to vote

AAAI
1990

120views Intelligent Agents» more AAAI 1990»

Skolem Functions and Equality in Automated Deduction

13 years 8 months ago

Download www.aaai.org

We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...

William McCune

claim paper

Read More »

click to vote

APAL
2005

115views more APAL 2005»

Completeness of S4 with respect to the real line: revisited

13 years 6 months ago

Download www.math.nmsu.edu

We prove that S4 is complete with respect to Boolean combinations of countable unions of convex subsets of the real line, thus strengthening a 1944 result of McKinsey and Tarski (...

Guram Bezhanishvili, Mai Gehrke

claim paper

Read More »

click to vote

CGA
2008

126views Computational Geometry» more CGA 2008»

Orthogonal-Blendshape-Based Editing System for Facial Motion Capture Data

13 years 7 months ago

Download graphics.cs.uh.edu

Qing Li, Zhigang Deng

claim paper

Read More »

click to vote

CGA
2007

300views Computational Geometry» more CGA 2007»

Computer-Generated Marbling Textures: A GPU-Based Design System

13 years 6 months ago

Download www.cad.zju.edu.cn

Xiaogang Jin, Shaochun Chen, Xiaoyang Mao

claim paper

Read More »

click to vote

ICCSA
2011
Springer

289views Applied Computing» more ICCSA 2011»

On the Parametric Representation of Dynamic Geometry Constructions

12 years 10 months ago

Download webs.uvigo.es

This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues i...

Francisco Botana

claim paper

Read More »

« Prev « First page 2 / 198 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers