1
Published 2006
Table of Contents: ... for Inference of RFSAs -- Query-Based Learning of XPath Expressions -- Learning Finite-State Machines from...
View full text
Electronic eBook
2
3
Published 2008
Table of Contents: ... -- Space-Time Tradeoffs for Longest-Common-Prefix Array Computation -- Power Domination in Using Reference...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Systolic Routing in an Optical Butterfly -- Feasibility of the Circularly Connected Analog CNN Cell Array...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Scheme for Maximizing Logical Arrays -- An Efficient Crosstalk-Free Routing Algorithm Based...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Inference -- CBR and Neural Networks Based Technique for Predictive Prefetching -- Combining Neural Networks...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ...A Preliminary Assessment of Three Strategies for the Agent-Based Modeling of Bacterial Conjugation...
View full text
Electronic eBook
8
...) fuzzy logic controller design by using Matlab and field programmable gate array (FPGA). The fuzzy logic...
View full text
Article
9
Published 2010
Table of Contents: ... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... of Haplotype Diversity -- Haplotype Inference Via Hierarchical Genotype Parsing -- Seeded Tree Alignment...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Inversion Median Computation Using Commuting Reversals and Cycle Information -- Inferring a Duplication...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... of Inferring Gene Regulatory Networks: A Study of the Fitness Landscape Generated by Relative Squared Error...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... the Absence of Errors -- Protocol Inference Using Static Path Profiles -- Solving Multiple Dataflow Queries...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... location of proteins based on hierarchical clustering and hidden Markov models -- Advances in Computational...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... and Mathematical Functions -- Efficient Methods for Computing Optimality Degrees of Elements in Fuzzy Weighted...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ...-Based State Space Exploration -- On Sampling Abstraction of Continuous Time Logic with Durations...
View full text
Electronic eBook