Sciweavers

2446 search results - page 249 / 490
» First Smart Spaces
Sort
View
IJCINI
2008
107views more  IJCINI 2008»
15 years 4 months ago
Artificial Neural Networks that Classify Musical Chords
An artificial neural network was trained to classify musical chords into four categories--major, dominant seventh, minor, or diminished seventh--independent of musical key. After ...
Vanessa Yaremchuk, Michael R. W. Dawson
148
Voted
IJNSEC
2008
146views more  IJNSEC 2008»
15 years 4 months ago
Formal Protocol Design of ESIKE Based on Authentication Tests
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
Rui Jiang, Aiqun Hu, Jianhua Li
137
Voted
IANDC
2006
86views more  IANDC 2006»
15 years 4 months ago
Table design in dynamic programming
Dynamic Programming solves combinatorial optimization problems by recursive decomposition and tabulation of intermediate results. The first step in the design of a dynamic program...
Peter Steffen, Robert Giegerich
JCSS
2008
96views more  JCSS 2008»
15 years 4 months ago
A combinatorial characterization of resolution width
We provide a characterization of the resolution width introduced in the context of propositional proof complexity in terms of the existential pebble game introduced in the context...
Albert Atserias, Víctor Dalmau
156
Voted
CORR
2007
Springer
128views Education» more  CORR 2007»
15 years 4 months ago
A Mobile Computing Architecture for Numerical Simulation
The domain of numerical simulation is a place where the parallelization of numerical code is common. The definition of a numerical context means the configuration of resources suc...
Cyril Dumont, Fabrice Mourlin