Resultados de búsqueda - programming optimization problem parameterized real http

1

Combinatorial Optimization and Applications Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings /

Publicado 2008

Tabla de Contenidos: “... of Candidate Control in Elections and Related Digraph Problems -- A Parameterized Perspective on Packing Paths...”
Enlace del recurso

Electrónico eBook

2

Combinatorial Optimization and Applications First International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, Proceedings /

Publicado 2007

Tabla de Contenidos: “... Combinatorial Optimization Problems -- Approximation Algorithms for k-Duplicates Combinatorial Auctions...”
Enlace del recurso

Electrónico eBook

3

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

Publicado 2006

Tabla de Contenidos: “... Graphs -- Finding the Smallest H-Subgraph in Real Weighted Graphs and Related Problems -- Weighted...”
Enlace del recurso

Electrónico eBook

4

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

Publicado 2008

Tabla de Contenidos: “... -- A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation -- Optimal Monotone...”
Enlace del recurso

Electrónico eBook

5

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

Publicado 2007

Tabla de Contenidos: “... Algorithms for Directed Maximum Leaf Problems -- Parameterized Approximability of the Disjoint Cycle Problem...”
Enlace del recurso

Electrónico eBook

6

Developments in Model-Based Optimization and Control Distributed Control and Industrial Applications /

Publicado 2015

Tabla de Contenidos: “... Programming Problems via Convex Liftings -- 3. Implications of Inverse Parametric Optimization in Model...”
Enlace del recurso

Electrónico eBook

7

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Publicado 2010

Tabla de Contenidos: “... Acceptors and Optimal Proof Systems -- The Complexity of Geometric Problems in High Dimension -- Different...”
Enlace del recurso

Electrónico eBook

8

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “... Characteristic -- Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems -- Meta-Envy...”
Enlace del recurso

Electrónico eBook

9

Formal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

Publicado 2011

Tabla de Contenidos: “... Feasible Interactions in Distributed Real-Time Systems -- Puff, The Magic Protocol -- A Formal Methodology...”
Enlace del recurso

Electrónico eBook

10

Property Testing Current Research and Surveys /

Publicado 2010

Tabla de Contenidos: “... to Testing Graph Properties -- Property Testing of Massively Parameterized Problems -- Sublinear Graph...”
Enlace del recurso

Electrónico eBook

11

Algorithms and Data Structures 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings /

Publicado 2007

Tabla de Contenidos: “... and Related Problems -- Optimal Algorithms for the Weighted p-Center Problems on the Real Line for Small p...”
Enlace del recurso

Electrónico eBook

12

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

Publicado 2007

Tabla de Contenidos: “... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...”
Enlace del recurso

Electrónico eBook

13

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Publicado 2010

Tabla de Contenidos: “...: An Ant Colony Optimization Algorithm for the Closest String Problem -- Linear Complementarity Algorithms...”
Enlace del recurso

Electrónico eBook

14

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings /

Publicado 2005

Tabla de Contenidos: “... and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata...”
Enlace del recurso

Electrónico eBook

15

Algorithms - ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “... Linear Programs -- Approximating Parameterized Convex Optimization Problems -- Approximation Schemes...”
Enlace del recurso

Electrónico eBook

16

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Publicado 2014

Tabla de Contenidos: “... -- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins -- Computation of an Improved...”
Enlace del recurso

Electrónico eBook

17

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings /

Publicado 2013

Tabla de Contenidos: “...Keynotes -- Bi-Objective Optimization for Scheduling in Parallel Computing Systems -- Robust...”
Enlace del recurso

Electrónico eBook

18

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I /

Publicado 2006

Tabla de Contenidos: “... Pattern for the Development of Web-Based DVE Applications -- Optimal Parameterizations of Bézier Surfaces...”
Enlace del recurso

Electrónico eBook

19

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Publicado 2010

Tabla de Contenidos: “... on Real Space and Digital Space Symbiosis -- Workshop on Information Retrieval, Security and Innovative...”
Enlace del recurso

Electrónico eBook

20

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Publicado 2013

Tabla de Contenidos: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados