Search Results for Logic design.

49.

Human-Inspired Computing and Its Applications 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part I

Yazar

Gelbukh, Alexander. editor.

http://dx.doi.org/10.1007/978-3-319-13647-9

Format:

Electronic Resources

Alıntı:

-- Onto Design Graphics (ODG): A Graphical Notation to Standardize Ontology Design -- A Logic for

50.

Nature-Inspired Computation and Machine Learning 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part II

Yazar

Gelbukh, Alexander. editor.

http://dx.doi.org/10.1007/978-3-319-13650-9

Format:

Electronic Resources

Alıntı:

Vocalization Recognition -- Robotics, Planning, and Scheduling -- AI-Based Design of a Parallel Robot Used as a

51.

Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II

Yazar

Sun, Xingming. editor. (orcid)0000-0003-1390-399X

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

Format:

Electronic Resources

Alıntı:

Concurrent Enforcement Ucon Model with CTL Logic -- Design of Real-Time Resource-Aware Network Resource

52.

Human Interface and the Management of Information: Applications and Services 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016. Proceedings, Part II

Yazar

Yamamoto, Sakae. editor.

http://dx.doi.org/10.1007/978-3-319-40397-7

Format:

Electronic Resources

Alıntı:

-- Construction of a literature review support system using latent Dirichlet allocation -- Design for Adaptive

53.

Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings

Yazar

Dong, Xin Luna. editor.

http://dx.doi.org/10.1007/978-3-319-21042-1

Format:

Electronic Resources

Alıntı:

Networks -- LDM: A DTD Schema Mapping Language Based on Logic Patterns -- Effective Sampling of Points of

54.

On the Move to Meaningful Internet Systems: OTM 2014 Conferences Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings

Yazar

Meersman, Robert. editor.

http://dx.doi.org/10.1007/978-3-662-45563-0

Format:

Electronic Resources

Alıntı:

-- Arabic-English Domain Terminology Extraction from Aligned Corpora -- Towards a Configurable Database Design: A

55.

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Yazar

Pereira, Francisco. editor.

http://dx.doi.org/10.1007/978-3-319-23485-4

Format:

Electronic Resources

Alıntı:

: Facilitating character design through genetic programming and human mimicry -- Memetic Algorithm for Solving

56.

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

Yazar

Rutkowski, Leszek. editor.

http://dx.doi.org/10.1007/978-3-319-19369-4

Format:

Electronic Resources

Alıntı:

-- Human-Agent Interaction Design for Decreasing Indebtedness -- XI Artificial Intelligence in Modeling and

57.

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I

Yazar

Rutkowski, Leszek. editor.

http://dx.doi.org/10.1007/978-3-319-07173-2

Format:

Electronic Resources

Alıntı:

Population Based Evolutionary Approach with Multiple Quality Criteria for Controller Design -- Optimization

	{displayName}	{count}
{error}