Search Results - active learning proceedings program java https

1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Published 2012

Table of Contents: “... Is the Question? Reasoning for Everyday Manipulation Tasks -- Learning and Behavior Towards Partners Profiling...”
View full text

Electronic eBook

2

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Published 2014

Table of Contents: “... to Understand It -- Part Lessons Learned and Agile Maturity -- Maturing in Agile: What Is It About? -- Why We...”
View full text

Electronic eBook

3

Advances in Web Based Learning - ICWL 2008 7th International Conference, Jinhua, China, August 20-22, 2008, Proceedings /

Published 2008

Table of Contents: “... and Experience Sharing of Three-Year Peer Coaching Program in Taiwan -- eKnowledge Repositories in eLearning 2.0...”
View full text

Electronic eBook

4

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /

Published 2015

Table of Contents: “... Verification, a Brief Tutorial -- LearnLib Tutorial - An Open Source Java Library for Active Automata Learning...”
View full text

Electronic eBook

5

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”
View full text

Electronic eBook

6

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... -- The Hanoi Omega-Automata Format -- The Open-Source LearnLib: A Framework for Active Automata Learning -- BBS...”
View full text

Electronic eBook

7

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

8

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Published 2005

Table of Contents: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
View full text

Electronic eBook

9

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings /

Published 2005

Table of Contents: “... Solver over 3-D Dodecahedron Partitions -- GridMD: Program Architecture for Distributed Molecular...”
View full text

Electronic eBook

10

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings /

Published 2007

Table of Contents: “... -- LDFSA: A Learning-Based Dynamic Framed Slotted ALOHA for Collision Arbitration in Active RFID Systems...”
View full text

Electronic eBook

11

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

Published 2008

Table of Contents: “...Keynotes -- An Introduction to Transfer Learning -- Autonomy-Oriented Computing (AOC), Self...”
View full text

Electronic eBook

12

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
View full text

Electronic eBook

Narrow Search