檢索結果 - ((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 /

出版 2010

書本目錄: “...Spotlights and Posters M2 -- Resampling Structure from Motion -- Sequential Non-Rigid Structure...”
獲取全文

電子電子書

2

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

出版 2008

書本目錄: “... -- ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions -- Computing Must and May...”
獲取全文

電子電子書

3

Genetic Programming Theory and Practice XII

出版 2015

書本目錄: “...Application of Machine-Learing Methods to Understand Gene Expression Regulation -- Identification...”
獲取全文

電子電子書

4

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

出版 2010

書本目錄: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
獲取全文

電子電子書

5

Mixed Integer Nonlinear Programming

出版 2012

書本目錄: “... programming methods -- Using interior-point methods within an outer approximation framework for mixed integer...”
獲取全文

電子電子書

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...

出版 2010

書本目錄: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
獲取全文

電子電子書

7

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

出版 2010

書本目錄: “...Insight, Inspiration and Collaboration -- From CSP to Game Semantics -- On Mereologies in Computing...”
獲取全文

電子電子書

8

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

出版 2005

書本目錄: “...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”
獲取全文

電子電子書

9

Data Mining in Bioinformatics

出版 2005

書本目錄: “... of Sequential Data Using Reversible Jump Markov Chain Monte Carlo -- Gene Mapping by Pattern Discovery...”
獲取全文

電子電子書

10

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

出版 2013

書本目錄: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
獲取全文

電子電子書

11

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

出版 2005

書本目錄: “... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...”
獲取全文

電子電子書

12

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

出版 2005

書本目錄: “... Expression Data -- Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming -- Interactive...”
獲取全文

電子電子書

13

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

出版 2007

書本目錄: “... Using Geometric Representation of Gene Expression Microarray Data -- A Seed-Based Method for Predicting...”
獲取全文

電子電子書

14

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

出版 2012

書本目錄: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
獲取全文

電子電子書

15

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

出版 2005

書本目錄: “... in Heterogeneous Data Federations -- On Optimising Data Access Via Materialised Methods in Object-Oriented Systems...”
獲取全文

電子電子書

16

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

出版 2007

書本目錄: “...Sequence Analysis -- Automated Methods of Predicting the Function of Biological Sequences Using GO...”
獲取全文

電子電子書

17

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

出版 2005

書本目錄: “... Functions in Probabilistic Space -- Circular SOM for Temporal Characterisation of Modelled Gene Expressions...”
獲取全文

電子電子書

18

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

出版 2008

書本目錄: “... Stability and Discrimination of Thermophilic Proteins -- A Method to Find Sequentially Separated Motifs...”
獲取全文

電子電子書

19

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

出版 2005

書本目錄: “... Methods -- Comparative Analysis of Genetic Algorithm, Simulated Annealing and Cutting Angle Method...”
獲取全文

電子電子書

20

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

出版 2008

書本目錄: “... Programming Systems in a Higher-Order Framework -- High-Level Expectations for Low-Level Image Processing...”
獲取全文

電子電子書

縮小搜索