Sciweavers

2016 search results - page 69 / 404
» Megamaps: Construction and Examples
Sort
View
120
Voted
DAGSTUHL
2008
15 years 6 months ago
A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
Eva Dyllong
OWLED
2007
15 years 6 months ago
OWL SAIQL - An OWL DL Query Language for Ontology Extraction
Existing approaches for querying OWL DL do either only operate on syntactic constructs without taking into account the semantics of OWL or do only have a restricted access to the T...
Alexander Kubias, Simon Schenk, Steffen Staab, Jef...
ACL
2006
15 years 6 months ago
Analysis of Selective Strategies to Build a Dependency-Analyzed Corpus
This paper discusses sampling strategies for building a dependency-analyzed corpus and analyzes them with different kinds of corpora. We used the Kyoto Text Corpus, a dependency-a...
Kiyonori Ohtake
DAGSTUHL
2006
15 years 6 months ago
New Algebraic Tools for Constraint Satisfaction
Abstract. The Galois connection involving polymorphisms and coclones has received a lot of attention in regard to constraint satisfaction problems. However, it fails if we are inte...
Henning Schnoor, Ilka Schnoor
CSREAESA
2003
15 years 6 months ago
Design of Digital Circuits on the Basis of Hardware Templates
The paper presents a technique for the design of digital circuits based on reusable hardware templates (HT). Any HT is being constructed in such a way that it might be employed for...
Valery Sklyarov, Iouliia Skliarova