Sciweavers

4600 search results - page 153 / 920
» Presenting the cyclotactor project
Sort
View
FLAIRS
2000
13 years 10 months ago
The SH-Verification Tool
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
Peter Ochsenschläger, Jürgen Repp, Rolan...
IPCO
1996
102views Optimization» more  IPCO 1996»
13 years 10 months ago
A Supermodular Relaxation for Scheduling with Release Dates
We consider the schedulingproblem ofminimizinga weighted sum of completion times under release dates. We present a relaxation which is a supermodular polyhedron. We show that this ...
Michel X. Goemans
SWAP
2007
13 years 10 months ago
The HMatch 2.0 Suite for Ontology Matchmaking
In this paper, we present the HMatch 2.0 suite for a flexible and tailored ontology matchmaking, by focusing on the architectural features and on the evaluation results. Applicati...
Silvana Castano, Alfio Ferrara, Davide Lorusso, St...
CORR
2008
Springer
138views Education» more  CORR 2008»
13 years 9 months ago
The implicit equation of a canal surface
A canal surface is an envelope of a one parameter family of spheres. In this paper we present an efficient algorithm for computing the implicit equation of a canal surface generat...
Marc Dohm, Severinas Zube
JCT
2008
46views more  JCT 2008»
13 years 9 months ago
A multi-dimensional approach to the construction and enumeration of Golay complementary sequences
We argue that a Golay complementary sequence is naturally viewed as a projection of a multidimensional Golay array. We present a three-stage process for constructing and enumerati...
Frank Fiedler, Jonathan Jedwab, Matthew G. Parker