Search Results for Pattern recognition.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Logic design.

Author

SpringerLink (Online service)

(9)

Zeugmann, Thomas. editor.

(2)

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701

(1)

Boehme, David. editor.

(1)

Bshouty, Nader H. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Fernau, Henning. editor.

(1)

Jain, Sanjay. editor.

(1)

Knoll, Florian. editor. (orcid)0000-0001-5357-8656

(1)

Levine, Joshua A. editor.

(1)

Lodaya, Kamal. editor.

(1)

Maier, Andreas. editor. (orcid)0000-0002-9550-5284

(1)

Malony, Allen D. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Moreno Díaz, Roberto. editor.

(1)

Munos, Rémi. editor.

(1)

Pichler, Franz. editor.

(1)

Quesada Arencibia, Alexis. editor.

(1)

Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889

(1)

Schulz, Martin. editor.

(1)

Steels, Luc. editor.

(1)

Stephan, Frank. editor.

(1)

Stoltz, Gilles. editor.

(1)

Vayatis, Nicolas. editor.

(1)

Voronkov, Andrei. editor.

(1)

Weidenbach, Christoph. editor.

(1)

Language

(9)

Publication Date

-

(3)

(2)

(1)

(1)

(1)

(1)

Subject

Artificial intelligence.

(8)

Computer science.

(7)

Optical pattern recognition.

(5)

Artificial Intelligence (incl. Robotics).

(3)

Computer software.

(3)

Computer vision.

(3)

Logics and Meanings of Programs.

(3)

Mathematical Logic and Formal Languages.

(3)

Computation by Abstract Devices.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Algorithm Analysis and Problem Complexity.

(1)

Computational complexity.

(1)

Computer Communication Networks.

(1)

Computer aided design.

(1)

Computer organization.

(1)

Computer simulation.

(1)

Discrete Mathematics in Computer Science.

(1)

Medical records -- Data processing.

(1)

Pattern Recognition.

(1)

Pattern recognition.

(1)

Programming Techniques.

(1)

Programming languages (Electronic computers).

(1)

Software engineering.

(1)

Translators (Computer programs).

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

9 Results Found

Subscribe to search results

1

000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Author

Knoll, Florian. editor. (orcid)0000-0001-5357-8656 Maier, Andreas. editor. (orcid)0000-0002-9550-5284 Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00129-2

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Author

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17872-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Author

Lodaya, Kamal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334105.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36039-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Programming Logics Essays in Memory of Harald Ganzinger

Programming Logics Essays in Memory of Harald Ganzinger

Programming Logics Essays in Memory of Harald Ganzinger

Author

Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334468.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37651-1

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

Author

Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335030.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40935-6

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings

Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings

Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings

Author

Bshouty, Nader H. editor. Stoltz, Gilles. editor. Vayatis, Nicolas. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34106-9

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars

Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars

Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars

Author

Steels, Luc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34120-5

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

Author

Dediu, Adrian-Horia. editor. Fernau, Henning. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13089-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Author

Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75867-9

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11