Sökresultat - program interactive https function based https

1

Event-Based Programming Taking Events to the Limit /

av Faison, Ted., Faison, Ted.
Publicerad 2006

Innehållsförteckning: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Hämta fulltext

Elektronisk E-bok

2

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Publicerad 2005

Innehållsförteckning: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Hämta fulltext

Elektronisk E-bok

3

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Publicerad 2015

Innehållsförteckning: “... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...”
Hämta fulltext

Elektronisk E-bok

4

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Publicerad 2014

Innehållsförteckning: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Hämta fulltext

Elektronisk E-bok

5

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Publicerad 2012

Innehållsförteckning: “... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”
Hämta fulltext

Elektronisk E-bok

6

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Publicerad 2013

Innehållsförteckning: “... on Smartphones -- Speech-Based Text Correction Patterns in Noisy Environment -- Multimodal Smart Interactive...”
Hämta fulltext

Elektronisk E-bok

7

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Publicerad 2014

Innehållsförteckning: “...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”
Hämta fulltext

Elektronisk E-bok

8

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Hämta fulltext

Elektronisk E-bok

9

Interactive Quantum Mechanics Quantum Experiments on the Computer /

av Brandt, Siegmund., Brandt, Siegmund., Dahmen, Hans Dieter., Stroh, T.
Publicerad 2011

Innehållsförteckning: “... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...”
Hämta fulltext

Elektronisk E-bok

10

Genes and Cardiovascular Function

Publicerad 2011

Innehållsförteckning: “... -- Gene-environment interactions: their role in hypertension development -- Phenotypic overlap of lethal...”
Hämta fulltext

Elektronisk E-bok

11

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers /

Publicerad 2007

Innehållsförteckning: “... Walkthrough: Evaluation of Safety Critical Interactive Systems -- Model Based Development -- Collaborative...”
Hämta fulltext

Elektronisk E-bok

12

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”
Hämta fulltext

Elektronisk E-bok

13

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Publicerad 2008

Innehållsförteckning: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Hämta fulltext

Elektronisk E-bok

14

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Hämta fulltext

Elektronisk E-bok

15

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN...

Publicerad 2005

Innehållsförteckning: “... Scenario -- Web Content Transformed into Humorous Dialogue-Based TV-Program-Like Content -- Content...”
Hämta fulltext

Elektronisk E-bok

16

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Interactive Systems for Navigating 3D Environments in Museums -- An Attentive Groupware Device to Mitigate...”
Hämta fulltext

Elektronisk E-bok

17

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Publicerad 2010

Innehållsförteckning: “... Management for Interactive Multi-objective Evolutionary Optimization -- Dominance-Based Rough Set Approach...”
Hämta fulltext

Elektronisk E-bok

18

Multiobjective Optimization Interactive and Evolutionary Approaches /

Publicerad 2008

Innehållsförteckning: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Hämta fulltext

Elektronisk E-bok

19

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Publicerad 2008

Innehållsförteckning: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Hämta fulltext

Elektronisk E-bok

20

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Publicerad 2010

Innehållsförteckning: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen