Sciweavers

2607 search results - page 435 / 522
» Complete Functional Synthesis
Sort
View
ALMOB
2006
80views more  ALMOB 2006»
13 years 10 months ago
Effective p-value computations using Finite Markov Chain Imbedding (FMCI): application to local score and to pattern statistics
The technique of Finite Markov Chain Imbedding (FMCI) is a classical approach to complex combinatorial problems related to sequences. In order to get efficient algorithms, it is k...
Grégory Nuel
ENTCS
2008
102views more  ENTCS 2008»
13 years 10 months ago
Soft Linear Logic and Polynomial Complexity Classes
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi De...
ESWA
2008
162views more  ESWA 2008»
13 years 10 months ago
Proportionate flexible flow shop scheduling via a hybrid constructive genetic algorithm
The proportionate flow shop (PFS) is considered as a unique case of the flow shop problem in which the processing times of the operations belonging to the same job are equal. A pr...
Der-Fang Shiau, Shu-Chen Cheng, Yueh-Min Huang
AUTOMATICA
2006
90views more  AUTOMATICA 2006»
13 years 10 months ago
An ISS-modular approach for adaptive neural control of pure-feedback systems
Controlling non-affine non-linear systems is a challenging problem in control theory. In this paper, we consider adaptive neural control of a completely non-affine pure-feedback s...
Cong Wang, David J. Hill, S. S. Ge, Guanrong Chen
FUIN
2008
98views more  FUIN 2008»
13 years 10 months ago
A Restarted Strategy for Efficient Subsumption Testing
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distribut...
Ondrej Kuzelka, Filip Zelezný