by
Bravetti, Mario. editor.
Format:
Electronic Resources
Excerpt:
Architecture -- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management
by
Shi, Zhong-Zhi. editor.
Format:
Electronic Resources
Excerpt:
Grid -- Semantic Web Services -- Collaboration -- Coordination and Negotiation -- Agent Learning
View Other Search Results
by
Najm, Elie. editor.
Format:
Electronic Resources
Excerpt:
Distributed Components Based on Learning Parameterized I/O Models -- Minimizing Coordination Channels in
by
Farré, Jacques. editor.
Format:
Electronic Resources
Excerpt:
Learning DFAs? -- Learning Stochastic Finite Automata for Musical Style Recognition -- Simulation of
by
Sakakibara, Yasubumi. editor.
Format:
Electronic Resources
Excerpt:
Annotated Examples -- Learning Multiplicity Tree Automata -- Learning DFA from Correction and Equivalence
by
Hermann, Miki. editor.
Format:
Electronic Resources
Excerpt:
Function Symbols in -- Lemma Learning in the Model Evolution Calculus.
by
Yli-Jyrä, Anssi. editor.
Format:
Electronic Resources
Excerpt:
Algorithms -- Further Results on Syntactic Ambiguity of Internal Contextual Grammars -- Error-Driven Learning
by
Arun-Kumar, S. editor.
Format:
Electronic Resources
Excerpt:
-- The Anatomy of Innocence Revisited -- Testing Probabilistic Equivalence Through Reinforcement Learning
by
Havelund, Klaus. editor.
Format:
Electronic Resources
Excerpt:
-- Online Testing with Reinforcement Learning.
by
Etalle, Sandro. editor.
Format:
Electronic Resources
Excerpt:
Language Processing Using Lexical and Logical Combinators -- Learning Semantic Parsers: A Constraint
by
Ball, Thomas. editor.
Format:
Electronic Resources
Excerpt:
-- LEVER: A Tool for Learning Based Verification -- Session 17. Memory Consistency -- Formal Verification
by
Durand, Bruno. editor.
Format:
Electronic Resources
Excerpt:
Almost Periodic Sequences -- Online Learning and Resource-Bounded Dimension: Winnow Yields New Lower
Limit Search Results
Narrowed by: