Søgeresultater - problem semantics https functionality testing https

1

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... Search Algorithms with Local Search for the Traveling Salesman Problem -- Many-Objective Test Problems...”
Få fuldtekst

Electronisk eBog

2

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work...

Udgivet 2007

Indholdsfortegnelse: “... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...”
Få fuldtekst

Electronisk eBog

3

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...”
Få fuldtekst

Electronisk eBog

4

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Games and the Problem of Isomorphism Testing -- Beyond the Super-Turing Snare: Analog Computation...”
Få fuldtekst

Electronisk eBog

5

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Spaces: First Steps -- Continuation Semantics for Symmetric Categorial Grammar -- Ehrenfeucht–Fraïssé...”
Få fuldtekst

Electronisk eBog

6

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”
Få fuldtekst

Electronisk eBog

7

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... Ontology and Its Application to Fuzzy Semantic Retrieval -- Application of Cognitive Psychology in Web...”
Få fuldtekst

Electronisk eBog

8

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings...

Udgivet 2013

Indholdsfortegnelse: “... -- Testing -- Assisting Specification Refinement by Random Testing -- Generation of Checking Sequences Using...”
Få fuldtekst

Electronisk eBog

9

Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceeding...

Udgivet 2007

Indholdsfortegnelse: “... on the Semantic Web -- A Framework for Analyzing and Testing Overlapping Requirements with Actors in Conceptual...”
Få fuldtekst

Electronisk eBog

10

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

Udgivet 2015

Indholdsfortegnelse: “... Matching Approaches -- IsoLate: A Type System for Self-recursion -- The Problem of PL Concurrency Semantics...”
Få fuldtekst

Electronisk eBog

11

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Få fuldtekst

Electronisk eBog

12

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “... -- Generating Functions of Timed Languages -- The Robust Set Problem: Parameterized Complexity and Approximation...”
Få fuldtekst

Electronisk eBog

13

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Information Transmission Problem and Its Optimal Solution -- Local Testing of Message Sequence Charts...”
Få fuldtekst

Electronisk eBog

14

Brain, Vision, and Artificial Intelligence First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Response of Bacteriorhodopsin in Thin PVA Films and Its Model -- Non-image Forming Function...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2014

Indholdsfortegnelse: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Få fuldtekst

Electronisk eBog

16

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- Approximation Algorithms for 2-Stage Stochastic Optimization Problems -- The Number of Crossing Free...”
Få fuldtekst

Electronisk eBog

17

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Streaming Algorithms for Geometric Problems -- Toward a Grainless Semantics for Shared-Variable Concurrency...”
Få fuldtekst

Electronisk eBog

18

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... with Pairs Problem -- Non-disclosure for Distributed Mobile Code -- Quantitative Models and Implicit...”
Få fuldtekst

Electronisk eBog

19

Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I /

Udgivet 2013

Indholdsfortegnelse: “... Assumptions and Selection Functions: A Generic Framework for Non-monotonic Logics -- Soft Constraints...”
Få fuldtekst

Electronisk eBog

20

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Udgivet 2015

Indholdsfortegnelse: “... Isomorphism Testing -- Fully Dynamic Matching in Bipartite Graphs -- Feasible Interpolation for QBF Resolution...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning