Sciweavers

6833 search results - page 1355 / 1367
» Some two-character sets
Sort
View
EAAI
2010
119views more  EAAI 2010»
13 years 8 months ago
A heuristic-based framework to solve a complex aircraft sizing problem
Aircraft sizing studies consist in determining the main characteristics of an aircraft starting from a set of requirements. These studies can be summarized as global constrained o...
Céline Badufle, Christophe Blondel, Thierry...
EVOW
2010
Springer
13 years 8 months ago
Finding Gapped Motifs by a Novel Evolutionary Algorithm
Background: Identifying approximately repeated patterns, or motifs, in DNA sequences from a set of co-regulated genes is an important step towards deciphering the complex gene reg...
Chengwei Lei, Jianhua Ruan
IANDC
2010
84views more  IANDC 2010»
13 years 8 months ago
Underapproximation for model-checking based on universal circuits
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
Arie Matsliah, Ofer Strichman
IANDC
2010
141views more  IANDC 2010»
13 years 8 months ago
Regaining cut admissibility in deduction modulo using abstract completion
stract Completion Guillaume Burel a,c,∗ Claude Kirchner b,c aNancy-Universit´e, Universit´e Henri Poincar´e bINRIA Bordeaux - Sud-Ouest cLORIA, ´Equipe Pareo, Bˆatiment B, C...
Guillaume Burel, Claude Kirchner
ICANN
2010
Springer
13 years 8 months ago
Teaching Humanoids to Imitate 'Shapes' of Movements
Trajectory formation is one of the basic functions of the neuromotor controller. In particular, reaching, avoiding, controlling impacts (hitting), drawing, dancing and imitating ar...
Vishwanathan Mohan, Giorgio Metta, Jacopo Zenzeri,...
« Prev « First page 1355 / 1367 Last » Next »