Canlyniadau Chwilio - ((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 /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Spotlights and Posters M2 -- Resampling Structure from Motion -- Sequential Non-Rigid Structure...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions -- Computing Must and May...”
Cael y testun llawn

Electronig eLyfr

3

Genetic Programming Theory and Practice XII

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Application of Machine-Learing Methods to Understand Gene Expression Regulation -- Identification...”
Cael y testun llawn

Electronig eLyfr

4

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Cael y testun llawn

Electronig eLyfr

5

Mixed Integer Nonlinear Programming

Cyhoeddwyd 2012

Tabl Cynhwysion: “... programming methods -- Using interior-point methods within an outer approximation framework for mixed integer...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Insight, Inspiration and Collaboration -- From CSP to Game Semantics -- On Mereologies in Computing...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”
Cael y testun llawn

Electronig eLyfr

9

Data Mining in Bioinformatics

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Sequential Data Using Reversible Jump Markov Chain Monte Carlo -- Gene Mapping by Pattern Discovery...”
Cael y testun llawn

Electronig eLyfr

10

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...”
Cael y testun llawn

Electronig eLyfr

12

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Expression Data -- Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming -- Interactive...”
Cael y testun llawn

Electronig eLyfr

13

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Using Geometric Representation of Gene Expression Microarray Data -- A Seed-Based Method for Predicting...”
Cael y testun llawn

Electronig eLyfr

14

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... in Heterogeneous Data Federations -- On Optimising Data Access Via Materialised Methods in Object-Oriented Systems...”
Cael y testun llawn

Electronig eLyfr

16

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “...Sequence Analysis -- Automated Methods of Predicting the Function of Biological Sequences Using GO...”
Cael y testun llawn

Electronig eLyfr

17

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Functions in Probabilistic Space -- Circular SOM for Temporal Characterisation of Modelled Gene Expressions...”
Cael y testun llawn

Electronig eLyfr

18

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Stability and Discrimination of Thermophilic Proteins -- A Method to Find Sequentially Separated Motifs...”
Cael y testun llawn

Electronig eLyfr

19

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Methods -- Comparative Analysis of Genetic Algorithm, Simulated Annealing and Cutting Angle Method...”
Cael y testun llawn

Electronig eLyfr

20

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Programming Systems in a Higher-Order Framework -- High-Level Expectations for Low-Level Image Processing...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad