Søgeresultater - intersections completes processing problems functions https

Søg alternativer:
intersections completes » intersections congresses , interactions computer , interactions complex
completes processing » composites processing , computer processing , components processing
processing problems » programming problems
problems functions » problems fiction , process functions , problems directions
functions https » foundations https

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Udgivet 2006

Indholdsfortegnelse: “... Automata and Their Uses in Natural Languages -- TAGH: A Complete Morphology for German Based on Weighted...”
Få fuldtekst

Electronisk eBog

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th...

Udgivet 2006

Indholdsfortegnelse: “... of Intersecting Families and Directed Connectivity Problems -- Better Approximations for the Minimum Common...”
Få fuldtekst

Electronisk eBog

Advances in Soft Computing and Its Applications 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II /

Udgivet 2013

Indholdsfortegnelse: “... Algorithm for Solving Multi-Objective Optimization Problems -- B-spline Surface Approximation Using...”
Få fuldtekst

Electronisk eBog

Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Detection of Surface Creases in Range Data -- Efficient Linear System Solvers for Mesh Processing...”
Få fuldtekst

Electronisk eBog

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... and Back -- A Complete Axiomatic System for a Process-Based Spatial Logic -- Voronoi Games on Cycle Graphs...”
Få fuldtekst

Electronisk eBog

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties...”
Få fuldtekst

Electronisk eBog

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...-and-Conquer Algorithms for Preemptive Scheduling Problems with Controllable Processing Times – A Polymatroid...”
Få fuldtekst

Electronisk eBog

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Udgivet 2006

Indholdsfortegnelse: “... and Relative Completeness of Logics for Higher-Order Functions -- Interpreting Polymorphic FPC into Domain...”
Få fuldtekst

Electronisk eBog

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Substructural Type System for Delimited Continuations -- The Inhabitation Problem for Rank Two Intersection...”
Få fuldtekst

Electronisk eBog

Algorithms for Next Generation Networks

Udgivet 2010

Indholdsfortegnelse: “... Dynamics -- Network Operations -- Hash-Based Techniques for High-Speed Packet Processing -- Fast Packet...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning