Search Results - interactive functional programming programmed constructing https

1

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

Published 2005

Table of Contents: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
View full text

Electronic eBook

2

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

Published 2008

Table of Contents: “... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”
View full text

Electronic eBook

3

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
View full text

Electronic eBook

4

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

5

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

6

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
View full text

Electronic eBook

7

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference...

Published 2010

Table of Contents: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
View full text

Electronic eBook

8

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

Published 2015

Table of Contents: “... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”
View full text

Electronic eBook

9

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

Published 2012

Table of Contents: “... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”
View full text

Electronic eBook

10

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

Published 2014

Table of Contents: “...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”
View full text

Electronic eBook

11

The Essential Guide to Flex 3

by Brown, Charles., Brown, Charles.
Published 2008

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

12

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /

Published 2008

Table of Contents: “... -- Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory -- Enhancing the Interaction between...”
View full text

Electronic eBook

13

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”
View full text

Electronic eBook

14

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade...”
View full text

Electronic eBook

15

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Published 2008

Table of Contents: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
View full text

Electronic eBook

16

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
View full text

Electronic eBook

17

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

18

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...”
View full text

Electronic eBook

19

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”
View full text

Electronic eBook

20

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
View full text

Electronic eBook

Narrow Search