Sökresultat - interactive detection program program foundation https

Menade du:
interactive detection » interaction detection , iterative detection , interactive selection
program foundation » prosea foundation , program formulation , programming foundations
detection program » detection problem , reduction program , protection programs
foundation https » foundations https , foundations http , function https
program program » programs program , programming program

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

Publicerad 2008

Innehållsförteckning: “... -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A...”
Hämta fulltext

Elektronisk E-bok

Foundation ActionScript Animation Making Things Move! /

av Peters, Keith., Peters, Keith.
Publicerad 2006

Innehållsförteckning: “... and Friction -- User Interaction: Moving Objects Around -- Advanced Motion -- Easing and Springing -- Collision...”
Hämta fulltext

Elektronisk E-bok

Foundation Actionscript 3.0 Animation Making Things Move! /

av Peters, Keith., Peters, Keith.
Publicerad 2007

Innehållsförteckning: “... -- Boundaries and Friction -- User Interaction: Moving Objects Around -- Advanced Motion -- Easing and Springing...”
Hämta fulltext

Elektronisk E-bok

Foundation Game Design with HTML5 and JavaScript

av van der Spuy, Rex., van der Spuy, Rex.
Publicerad 2012

Ämnen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hämta fulltext

Elektronisk E-bok

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “...Foundation and Rationale for Agile Methods -- A Distributed Cognition Account of Mature XP Teams...”
Hämta fulltext

Elektronisk E-bok

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Expression Data -- Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming -- Interactive...”
Hämta fulltext

Elektronisk E-bok

Foundations of Intelligent Systems 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings /

Publicerad 2008

Innehållsförteckning: “... Crew Exploration Vehicle -- Knowledge Discovery and Data Mining - Foundations -- Boosting Support...”
Hämta fulltext

Elektronisk E-bok

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Publicerad 2015

Innehållsförteckning: “... -- Modeling and Reasoning about Information Quality Requirements -- Detecting and Correcting Outdated...”
Hämta fulltext

Elektronisk E-bok

Requirements Engineering: Foundation for Software Quality 16th International Working Conference...

Publicerad 2010

Innehållsförteckning: “... Interaction in a Prototypical Project: Emerging Results -- Scenarios and Elicitation -- Videos vs. Use Cases...”
Hämta fulltext

Elektronisk E-bok

Foundations of Genetic Algorithms 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers /

Publicerad 2005

Innehållsförteckning: “... Genetic Programming with Homologous Crossover -- Coarse Graining Selection and Mutation -- Perturbation...”
Hämta fulltext

Elektronisk E-bok

Foundations of Augmented Cognition Third International Conference, FAC 2007, Held as Part of HCI...

Publicerad 2007

Innehållsförteckning: “...-Based Measurement Tools -- Reverse Engineering the Visual System Via Genetic Programs -- EEG-Based...”
Hämta fulltext

Elektronisk E-bok

Foundations of Geometric Algebra Computing

av Hildenbrand, Dietmar., Hildenbrand, Dietmar.
Publicerad 2013

Innehållsförteckning: “... Detection Using the Gaalop Precompiler -- Chap. 12 Gaalop Precompiler for GPGPUs -- Chap. 13 Molecular...”
Hämta fulltext

Elektronisk E-bok

Interactive Collaborative Information Systems

Publicerad 2010

Innehållsförteckning: “...Reinforcement Learning -- Approximate Dynamic Programming and Reinforcement Learning -- Learning...”
Hämta fulltext

Elektronisk E-bok

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Verification of Concurrent Programs -- Combining Static and Dynamic Reasoning for the Discovery of Program...”
Hämta fulltext

Elektronisk E-bok

Advanced Game Design with HTML5 and JavaScript

av van der Spuy, Rex., van der Spuy, Rex.
Publicerad 2015

Ämnen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hämta fulltext

Elektronisk E-bok

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Publicerad 2010

Innehållsförteckning: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
Hämta fulltext

Elektronisk E-bok

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Programming Languages for Logspace and Ptime -- Opaque Predicates Detection by Abstract Interpretation -- DO...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Detection -- Approximation of Data by Decomposable Belief Models -- A Gambler’s Gain Prospects with Coherent...”
Hämta fulltext

Elektronisk E-bok

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /

Publicerad 2015

Innehållsförteckning: “...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”
Hämta fulltext

Elektronisk E-bok

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen