Zoekresultaten - constructive action programming function functions 12~

Alternatieven:
programming function » programming functional , programming functionals , programme function
constructive action » constructive function , constructive education , constructive induction
action programming » actions programming , edition programming , notions programming
function functions » functions functions , function function , junction functions
functions 12 » functions 2 , functions 3

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Gepubliceerd in 2012

Inhoudsopgave: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Volledige tekst

Elektronisch E-boek

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2013

Inhoudsopgave: “... equilibrium logic and dynamic logic -- ActHEX: Implementing HEX Programs with Action -- Debugging Answer-Set...”
Volledige tekst

Elektronisch E-boek

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Gepubliceerd in 2014

Inhoudsopgave: “...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”
Volledige tekst

Elektronisch E-boek

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Gepubliceerd in 2008

Inhoudsopgave: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
Volledige tekst

Elektronisch E-boek

Computer Vision - ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I /

Gepubliceerd in 2008

Inhoudsopgave: “... Dataset Construction: An Active Learning Approach -- GeoS: Geodesic Image Segmentation -- Simultaneous...”
Volledige tekst

Elektronisch E-boek

Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012, Proceedings /

Gepubliceerd in 2012

Inhoudsopgave: “... Measure for Rule-Based Functional Description of Genes -- Automatic Generation and Learning of Finite...”
Volledige tekst

Elektronisch E-boek

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “..., and Compliant Action -- Keynote -- Modelling Coordination and Compensation -- Tools and Applications...”
Volledige tekst

Elektronisch E-boek

VEE Pro: Practical Graphical Programming

door Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Gepubliceerd in 2005

Inhoudsopgave: “... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
Volledige tekst

Elektronisch E-boek

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...”
Volledige tekst

Elektronisch E-boek

21st Century Learning for 21st Century Skills 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings /

Gepubliceerd in 2012

Inhoudsopgave: “....-Key Action Extraction for Learning Analytics -- Using Local and Global Self-evaluations to Predict...”
Volledige tekst

Elektronisch E-boek

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial...

Gepubliceerd in 2008

Inhoudsopgave: “...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...”
Volledige tekst

Elektronisch E-boek

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part I /

Gepubliceerd in 2010

Inhoudsopgave: “... Multi-Agent System -- Modeling Super Mirroring Functionality in Action Execution, Imagination, Mirroring...”
Volledige tekst

Elektronisch E-boek

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Pr...

Gepubliceerd in 2008

Inhoudsopgave: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Volledige tekst

Elektronisch E-boek

The Essential Guide to Flex 3

door Brown, Charles., Brown, Charles.
Gepubliceerd in 2008

Onderwerpen: “...Computer programming....”
Volledige tekst

Elektronisch E-boek

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Gepubliceerd in 2014

Inhoudsopgave: “... for Stable Models with Partial Intensional Functions -- Constructive Models for Contraction with Intransitive...”
Volledige tekst

Elektronisch E-boek

Fast Track to MDX

door Whitehorn, Mark., Whitehorn, Mark., Zare, Robert., Pasumansky, Mosha.
Gepubliceerd in 2006

Inhoudsopgave: “... techniques -- Actions -- Server side color coding -- More about querying....”
Volledige tekst

Elektronisch E-boek

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Gepubliceerd in 2012

Inhoudsopgave: “... Concrete Structures under Environmental Actions.-An Inverse Problem for the Stationary Kirchhoff Equation...”
Volledige tekst

Elektronisch E-boek

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Rational Policy Making Algorithm in Continuous Action Spaces -- Applying Clustering Techniques to Reduce...”
Volledige tekst

Elektronisch E-boek

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken