Search Results - ((functions computation) or (function computation)) programming sequential methods express*

1

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “...Spotlights and Posters M2 -- Resampling Structure from Motion -- Sequential Non-Rigid Structure...”
View full text

Electronic eBook

2

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Published 2008

Table of Contents: “... -- ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions -- Computing Must and May...”
View full text

Electronic eBook

3

Genetic Programming Theory and Practice XII

Published 2015

Table of Contents: “...Application of Machine-Learing Methods to Understand Gene Expression Regulation -- Identification...”
View full text

Electronic eBook

4

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
View full text

Electronic eBook

5

Mixed Integer Nonlinear Programming

Published 2012

Table of Contents: “... programming methods -- Using interior-point methods within an outer approximation framework for mixed integer...”
View full text

Electronic eBook

6

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
View full text

Electronic eBook

7

Reflections on the Work of C.A.R. Hoare

Published 2010

Table of Contents: “...Insight, Inspiration and Collaboration -- From CSP to Game Semantics -- On Mereologies in Computing...”
View full text

Electronic eBook

8

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Published 2005

Table of Contents: “...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”
View full text

Electronic eBook

9

Data Mining in Bioinformatics

Published 2005

Table of Contents: “... of Sequential Data Using Reversible Jump Markov Chain Monte Carlo -- Gene Mapping by Pattern Discovery...”
View full text

Electronic eBook

10

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Published 2013

Table of Contents: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
View full text

Electronic eBook

11

Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings /

Published 2005

Table of Contents: “... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...”
View full text

Electronic eBook

12

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Published 2005

Table of Contents: “... Expression Data -- Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming -- Interactive...”
View full text

Electronic eBook

13

Modeling Decisions for Artificial Intelligence 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings /

Published 2007

Table of Contents: “... Using Geometric Representation of Gene Expression Microarray Data -- A Seed-Based Method for Predicting...”
View full text

Electronic eBook

14

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

Published 2012

Table of Contents: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
View full text

Electronic eBook

15

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Published 2005

Table of Contents: “... in Heterogeneous Data Federations -- On Optimising Data Access Via Materialised Methods in Object-Oriented Systems...”
View full text

Electronic eBook

16

Pattern Recognition in Bioinformatics Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings /

Published 2007

Table of Contents: “...Sequence Analysis -- Automated Methods of Predicting the Function of Biological Sequences Using GO...”
View full text

Electronic eBook

17

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Functions in Probabilistic Space -- Circular SOM for Temporal Characterisation of Modelled Gene Expressions...”
View full text

Electronic eBook

18

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

Published 2008

Table of Contents: “... Stability and Discrimination of Thermophilic Proteins -- A Method to Find Sequentially Separated Motifs...”
View full text

Electronic eBook

19

Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings /

Published 2005

Table of Contents: “... Methods -- Comparative Analysis of Genetic Algorithm, Simulated Annealing and Cutting Angle Method...”
View full text

Electronic eBook

20

KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming Systems in a Higher-Order Framework -- High-Level Expectations for Low-Level Image Processing...”
View full text

Electronic eBook

Narrow Search