Sciweavers

1871 search results - page 239 / 375
» Selecting for evolvable representations
Sort
View
JANCL
2006
105views more  JANCL 2006»
13 years 7 months ago
BDD-based decision procedures for the modal logic K
We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, ...
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
TASLP
2008
101views more  TASLP 2008»
13 years 7 months ago
Speaker Identification Using Instantaneous Frequencies
This work presents an experimental evaluation of different features for use in speaker identification. The features are tested using speech data provided by the CHAINS corpus, in a...
Marco Grimaldi, Fred Cummins
TC
2008
13 years 7 months ago
Automatic Generation of Modular Multipliers for FPGA Applications
Since redundant number systems allow for constant time addition, they are often at the heart of modular multipliers designed for public key cryptography (PKC) applications. Indeed,...
Jean-Luc Beuchat, Jean-Michel Muller
TCSV
2008
128views more  TCSV 2008»
13 years 7 months ago
Redundant Slice Optimal Allocation for H.264 Multiple Description Coding
In this paper a novel H.264 multiple description technique is proposed. The coding approach is based on the redundant slice representation option, defined in the H.264 standard. In...
Tammam Tillo, Marco Grangetto, Gabriella Olmo
JUCS
2007
97views more  JUCS 2007»
13 years 7 months ago
A Framework for the Conceptualization of Approaches to "Create-by-Reuse" of Learning Design Solutions
: IMS Learning Design (IMS LD) is an interoperable and standardized language that enables the computational representation of Units of Learning (UoLs). However, its adoption and ex...
Davinia Hernández Leo, Andreas Harrer, Juan...