Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
interactive applications » internet applications, enterprise applications, quantitative applications
proceedings program » proceedings from
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
interactive applications » internet applications, enterprise applications, quantitative applications
proceedings program » proceedings from
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Publicat 2015
Taula de continguts:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”Obtenir text complet
Electrònic
eBook
2
Publicat 2005
Taula de continguts:
“...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”Obtenir text complet
Electrònic
eBook
4
Publicat 2013
Taula de continguts:
“... Interaction Context-Based Bounding Volume Morphing in Pointing Gesture Application -- Gesture vs...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“... Types -- Extensional Rewriting with Sums -- Higher-Order Logic Programming Languages with Constraints: A...”Obtenir text complet
Electrònic
eBook
6
Publicat 2014
Taula de continguts:
“... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”Obtenir text complet
Electrònic
eBook
7
Publicat 2014
Taula de continguts:
“...? -- Chinese Romanization and Its Application in HCI -- Driving with a Speech Interaction System: Effect...”Obtenir text complet
Electrònic
eBook
8
Publicat 2014
Taula de continguts:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obtenir text complet
Electrònic
eBook
9
Publicat 2015
Taula de continguts:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Obtenir text complet
Electrònic
eBook
10
Publicat 2015
Taula de continguts:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... Interactive Systems for Navigating 3D Environments in Museums -- An Attentive Groupware Device to Mitigate...”Obtenir text complet
Electrònic
eBook
14
Publicat 2008
Taula de continguts:
“... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...”Obtenir text complet
Electrònic
eBook
15
Publicat 2007
Taula de continguts:
“... Families of Perfect Hash Functions and Their Applications -- An Exponential Improvement on the MST...”Obtenir text complet
Electrònic
eBook
16
Publicat 2008
Taula de continguts:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Obtenir text complet
Electrònic
eBook
17
Publicat 2007
Taula de continguts:
“... Parsimonious Phylogenetic Tree Via Linear Programming -- A Multi-Stack Based Phylogenetic Tree Building Method...”Obtenir text complet
Electrònic
eBook
18
Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference...
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
19
Publicat 2008
Taula de continguts:
“...-Theoretic Method for Mining Overlapping Functional Modules in Protein Interaction Networks -- Identification...”Obtenir text complet
Electrònic
eBook
20
Publicat 2013
Taula de continguts:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Obtenir text complet
Electrònic
eBook