1
Published 2005
Table of Contents: ... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ...-Pi-Calculus Modulo -- Completing Herbelin’s Programme -- Continuation-Passing Style and Strong...
View full text
Electronic eBook
4
Table of Contents: ... Function Systems and Their Applications -- Conclusions, Directions for Further Development....
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Messages for Hamsi-256 -- Non-full-active Super-Sbox Analysis: Applications to ECHO and Grøstl -- Advanced...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Problems -- A Synthetic Agent for Mentoring Novice Programmers Within a Desktop Computer Environment...
View full text
Electronic eBook
7
... particular problem, a novice mobile programmer will commonly sketch the mobile interface followed by coding...
View full text
Article
8
Published 2005
Table of Contents: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... -- To Err Is Human, to Explain and Correct Is Divine: A Study of Interactive Erroneous Examples with Middle...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... in Health Care Service: The Case of Rehabilitation Programmes in Hong Kong -- Intuitive Interaction between...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Random Fields and Their Application to Intrusion Detection -- Generalized Derivative Based Kernelized...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... and IPv6 Network -- An Efficient Multicast Hybrid Routing Protocol for MANETs -- Applications of Graph...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... and Actuators -- Topology Optimization for Acoustic-Structure Interaction Problems -- Topology Optimization...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Functions -- Hybrid SPARQL Queries: Fresh vs. Fast Results -- Provenance for SPARQL Queries -- SRBench: A...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... Functions -- Hybrid SPARQL Queries: Fresh vs. Fast Results -- Provenance for SPARQL Queries -- SRBench: A...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... of Classifiers with Application to AdaBoost -- Interactive Boosting for Image Classification -- Cluster and Graph...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... with cellular automata -- The Application of Cellular Automaton in Medical Semiautomatic Segmentation -- Convex...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... -- Cryptanalysis -- Efficient Dissection of Composite Problems, with Applications to Cryptanalysis, Knapsacks...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... -- Setting up an Effective Information Security Awareness Programme -- Saferinternet.pl Project — Educational...
View full text
Electronic eBook