Hakutulokset - programs forest programs https array https

1

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Julkaistu 2010

Sisällysluettelo: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Hae kokoteksti

Elektroninen E-kirja

2

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Julkaistu 2008

Sisällysluettelo: “...Finding Your Way in a Forest: On Different Types of Trees and Their Properties -- Simple Stochastic...”
Hae kokoteksti

Elektroninen E-kirja

3

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Julkaistu 2015

Sisällysluettelo: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Hae kokoteksti

Elektroninen E-kirja

4

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hae kokoteksti

Elektroninen E-kirja

5

Combinatorial Pattern Matching 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010, Proceedings, /

Julkaistu 2010

Sisällysluettelo: “...Algorithms for Forest Pattern Matching -- Affine Image Matching Is Uniform -Complete -- Old and New...”
Hae kokoteksti

Elektroninen E-kirja

6

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Programming -- Finding the Best CAFE Is NP-Hard -- The Size and Depth of Layered Boolean Circuits -- Lipschitz...”
Hae kokoteksti

Elektroninen E-kirja

7

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Julkaistu 2010

Sisällysluettelo: “... by Keywords Using Random Forests -- Wireless Networks -- Minimizing the Effects of Multi-rate WLANs...”
Hae kokoteksti

Elektroninen E-kirja

8

Molecular Marker Systems in Plant Breeding and Crop Improvement

Julkaistu 2005

Sisällysluettelo: “...: Optimum Design of Marker-Assisted Backcross Programs -- From Theory to Practice: Marker-Assisted Selection...”
Hae kokoteksti

Elektroninen E-kirja

9

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2010

Sisällysluettelo: “... Forests -- Learning What and How of Contextual Models for Scene Labeling -- Adapting Visual Category...”
Hae kokoteksti

Elektroninen E-kirja

11

Interactive Governance for Small-Scale Fisheries Global Reflections /

Julkaistu 2015

Sisällysluettelo: “.... Governability of Kelp Forest Small-Scale Harvesting in Iroise Sea, France -- 7. The Traditional Small-Scale...”
Hae kokoteksti

Elektroninen E-kirja