Søgeresultater - integrals extending programming programming constrained https

Søg alternativer:
programming programming » programming programmed , programming program
programming constrained » programming constructs
extending programming » extensible programming , exploring programming , existing programming
integrals extending » integrals depending , integration extending , histograms extending
constrained https » constrained hpc , constrained graphs , constrained stress

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Udgivet 2013

Indholdsfortegnelse: “... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”
Få fuldtekst

Electronisk eBog

Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Extending SDP Integrality Gaps to Sherali-Adams with Applications to Quadratic Programming and MaxCutGain...”
Få fuldtekst

Electronisk eBog

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...”
Få fuldtekst

Electronisk eBog

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering...”
Få fuldtekst

Electronisk eBog

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

Udgivet 2010

Indholdsfortegnelse: “... Information Systems -- An Entirely Model-Based Framework for Hardware Design and Simulation -- Extending...”
Få fuldtekst

Electronisk eBog

Wireless Sensor Networks Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Routing Metric and Policies for WSNs -- On the Scalability of Routing Integrated Time Synchronization...”
Få fuldtekst

Electronisk eBog

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /

Udgivet 2013

Indholdsfortegnelse: “... -- Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems -- Efficient Operational...”
Få fuldtekst

Electronisk eBog

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /

Udgivet 2005

Indholdsfortegnelse: “...1: Large Scale Computations -- Large Scale Simulations -- Development and Integration of Parallel...”
Få fuldtekst

Electronisk eBog

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Udgivet 2007

Indholdsfortegnelse: “... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”
Få fuldtekst

Electronisk eBog

Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 201...

Udgivet 2010

Indholdsfortegnelse: “... -- Application of Extended DFT for Fault Detection of Electric Motors -- On the Complexity of the Classification...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “...Activity Recognition Via Classification Constrained Diffusion Maps -- Generating and Updating...”
Få fuldtekst

Electronisk eBog

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Udgivet 2014

Indholdsfortegnelse: “...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...”
Få fuldtekst

Electronisk eBog

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Udgivet 2007

Indholdsfortegnelse: “... -- The Vertex-Neighbor-Integrity of Digraphs -- Hamiltonian Connected Line Graphs -- A Degree-Condition...”
Få fuldtekst

Electronisk eBog

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Udgivet 2007

Indholdsfortegnelse: “... Distributed Job Workflow Execution -- EPLAS: An Epistemic Programming Language for All Scientists...”
Få fuldtekst

Electronisk eBog

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Udgivet 2010

Indholdsfortegnelse: “... and Wireless Communication: A Real Time Study -- IMM-I46: Inter Mobility Management for an Integrated IPv4...”
Få fuldtekst

Electronisk eBog

Inductive Databases and Constraint-Based Data Mining

Udgivet 2010

Indholdsfortegnelse: “... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...”
Få fuldtekst

Electronisk eBog

Experimental Robotics The 10th International Symposium on Experimental Robotics /

Udgivet 2008

Indholdsfortegnelse: “...Manipulation -- Contact State Segmentation Using Particle Filters for Programming by Human...”
Få fuldtekst

Electronisk eBog

Web-Age Information Management 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...”
Få fuldtekst

Electronisk eBog

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

Udgivet 2015

Indholdsfortegnelse: “... Technique: Unconstrained Search Space Proposal for Equality Constrained Optimization Problem -- Extended...”
Få fuldtekst

Electronisk eBog

Variational Analysis and Applications

Udgivet 2005

Indholdsfortegnelse: “... or Extended Type -- On Time Dependent Vector Equilibrium Problems -- On Some Nonstandard Dynamic Programming...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning