Søgeresultater - inference learning programmes program computer https

Søg alternativer:
learning programmes » learning programme , learning programs , learning programming
inference learning » preference learning , experience learning , instance learning
programmes program » programmes programme , programs program , programming program
program computer » programs computer , program computers , program komputer
computer https » computers https , computing https , computer arts

CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 /

Udgivet 2006

Indholdsfortegnelse: “... and Fast Algorithms -- Minimization, Learning, and Conformance Testing of Boolean Programs -- A Capability...”
Få fuldtekst

Electronisk eBog

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 200...

Udgivet 2006

Indholdsfortegnelse: “... Learning and Experimentation -- Software Evolution -- Trace-Based Memory Aliasing Across Program Versions...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Udgivet 2012

Indholdsfortegnelse: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
Få fuldtekst

Electronisk eBog

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Få fuldtekst

Electronisk eBog

Passive and Active Measurement 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Quantifying the Pitfalls of Traceroute in AS Connectivity Inference -- Toward Topology Dualism: Improving...”
Få fuldtekst

Electronisk eBog

Communication and Networking International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 1...

Udgivet 2010

Indholdsfortegnelse: “... for Discovering Subgoals in Reinforcement Learning -- Automatic Skill Acquisition in Reinforcement Learning Agents...”
Få fuldtekst

Electronisk eBog

Interactive Multi-modal Question-Answering

Udgivet 2011

Indholdsfortegnelse: “...Part I Introduction to the IMIX Programme -- Introduction. Antal van den Bosch and Gosse Bouma...”
Få fuldtekst

Electronisk eBog

Intelligent Technologies and Engineering Systems

Udgivet 2013

Indholdsfortegnelse: “... Neural Fuzzy Inference System -- A Set-Checking Algorithm for Mining Maximal Frequent Itemsets from Data...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning