Søgeresultater - constructive computation programming reducing concepts case

Søg alternativer:
constructive computation » constructive communication , constructive communications , construction competitions
computation programming » communication programming , computation programmatic , computing programming
programming reducing » programming inducing , programming predicting , programme reducing
reducing concepts » rendering concepts , enduring concepts , relating concepts
concepts case » concepts cases , concepts a , concepts chapter

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Udgivet 2015

Indholdsfortegnelse: “... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”
Få fuldtekst

Electronisk eBog

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...”
Få fuldtekst

Electronisk eBog

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Pr...

Udgivet 2008

Indholdsfortegnelse: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Få fuldtekst

Electronisk eBog

New Science of Learning Cognition, Computers and Collaboration in Education /

Udgivet 2010

Indholdsfortegnelse: “... Program Context: Lessons from Four Case Studies -- New Technologies, Learning Systems, and Communication...”
Få fuldtekst

Electronisk eBog

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Få fuldtekst

Electronisk eBog

Technology Enhanced Learning: Quality of Teaching and Educational Reform 1st International Conference, TECH-EDUCATION 2010, Athens, Greece, May 19-21, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Oriented Learning in Electrical Engineering -- Origami in Education Enhanced by Computer Technology: A Case...”
Få fuldtekst

Electronisk eBog

Entertainment for Education. Digital Techniques and Systems 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010, Proceeding...

Udgivet 2010

Indholdsfortegnelse: “... Learning Style Learners -- Computer-Supported Collaborative Conceptual Change -- Optimization Technique...”
Få fuldtekst

Electronisk eBog

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...”
Få fuldtekst

Electronisk eBog

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... and Integrating Advanced IT-Concepts with Semantic Web Technology Mashups Architecture Case Study -- Intelligent...”
Få fuldtekst

Electronisk eBog

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...Keynotes -- An Introduction to Transfer Learning -- Autonomy-Oriented Computing (AOC), Self...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning