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