Sciweavers

5214 search results - page 309 / 1043
» The Online Specialization Problem
Sort
View
188
Voted
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
193
Voted
CMMR
2007
Springer
104views Music» more  CMMR 2007»
16 years 1 months 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 27 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...
AISC
2010
Springer
16 years 9 days 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...
197
Voted
ICAPR
2001
Springer
15 years 12 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 ...