检索结果 - ((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...”
获取全文

电子电子书

缩小搜索