988 search results - page 99 / 198 » Tarski's system of geometry |
FOIS
2001
13 years 9 months ago
2001
-- Representation theorems for systems of regions have been of interest for some time, and various contexts have been used for this purpose: Mormann [17] has demonstrated the fruit...
CC
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present an algorithm for counting the irreducible components of a complex algebraic variety defined by a fixed number of polynomials encoded as straight-line programs ...
CGF
2007
13 years 7 months ago
2007
We describe a system for the animation of a skeleton-controlled articulated object that preserves the fine geometric details of the object skin and conforms to the characteristic ...
JCT
2006
13 years 7 months ago
2006
Frequency-hopping multiple-access (FHMA) spread spectrum communication systems employing multiple frequency shift keying as data modulation technique were investigated by Fuji-Har...
KES
2008
Springer
13 years 7 months ago
2008
Springer
One of the main problems facing the development of ontology-aware authoring systems (OAS) is to link well-designed domain-independent knowledge (ontologies) with domain content. Su...