Sciweavers

5214 search results - page 309 / 1043
» The Online Specialization Problem
Sort
View
AICCSA
2007
IEEE
84views Hardware» more  AICCSA 2007»
16 years 1 months ago
Encoding Algorithms for Logic Synthesis
This paper presents an encoding algorithm that is very efficient for many different logic synthesis problems. The algorithm is based on the use of special tables and includes two ...
Valery Sklyarov, Iouliia Skliarova
CMMR
2007
Springer
104views Music» more  CMMR 2007»
16 years 28 days ago
Semiotics of Sounds Evoking Motions: Categorization and Acoustic Features
Abstract. The current study is part of a larger project aiming at offering intuitive mappings of control parameters piloting synthesis models by semantic descriptions of sounds, i...
Adrien Merer, Sølvi Ystad, Richard Kronland...
ACOM
2004
Springer
16 years 5 days ago
Optimal Communication Vocabularies and Heterogeneous Ontologies
In this paper, we will consider the alignment of heterogeneous ontologies in multi agent systems. We will start from the idea that each individual agent is specialized in solving ...
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dig...
171
Voted
AISC
2010
Springer
15 years 11 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
ICAPR
2001
Springer
15 years 11 months ago
Grouping via the Matching of Repeated Patterns
Abstract. In this contribution, a novel and robust, geometry-based grouping strategy is proposed. Repeated, planar patterns in special relative positions are detected. The grouping...
Andreas Turina, Tinne Tuytelaars, Theo Moons, Luc ...