1
Udgivet 2015
Indholdsfortegnelse: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
Få fuldtekst
Electronisk eBog
3
Udgivet 2008
Indholdsfortegnelse: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... Program Context: Lessons from Four Case Studies -- New Technologies, Learning Systems, and Communication...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... Oriented Learning in Electrical Engineering -- Origami in Education Enhanced by Computer Technology: A Case...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ... Learning Style Learners -- Computer-Supported Collaborative Conceptual Change -- Optimization Technique...
Få fuldtekst
Electronisk eBog
8
Udgivet 2006
Indholdsfortegnelse: ... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...
Få fuldtekst
Electronisk eBog
9
Udgivet 2010
Indholdsfortegnelse: ... and Integrating Advanced IT-Concepts with Semantic Web Technology Mashups Architecture Case Study -- Intelligent...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ...Keynotes -- An Introduction to Transfer Learning -- Autonomy-Oriented Computing (AOC), Self...
Få fuldtekst
Electronisk eBog