Search Results - interaction computing programming program formulation https

Search alternatives:
interaction computing » interactive computing , integration computing , intersections computing
computing programming » computer programming , computers programming
programming program » programming programmed , programming problem , programming problems
program formulation » programme formulation , problem formulation , programming formulation
formulation https » simulation https , computation https , formulation iapws

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

Published 2014

Table of Contents: “... Formulations -- Improved Submatrix Maximum Queries in Monge Matrices -- For-All Sparse Recovery in Near-Optimal...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
View full text

Electronic eBook

Programming Finite Elements in Java™

by Nikishkov, Gennadiy P., Nikishkov, Gennadiy P.
Published 2010

Table of Contents: “...Finite Element Formulation -- Finite Element Equations for Heat Transfer -- FEM for Solid Mechanics...”
View full text

Electronic eBook

Fuzzy Stochastic Multiobjective Programming

by Sakawa, Masatoshi., Sakawa, Masatoshi., Nishizaki, Ichiro., Katagiri, Hideki.
Published 2011

Table of Contents: “... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
View full text

Electronic eBook

Engineering Interactive Systems EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers /

Published 2008

Table of Contents: “... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...”
View full text

Electronic eBook

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

Published 2015

Table of Contents: “... -- Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles -- Formulating Semantics...”
View full text

Electronic eBook

Human-Computer Interaction. Theories, Methods, and Tools 16th International Conference, HCI...

Published 2014

Table of Contents: “...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”
View full text

Electronic eBook

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Published 2005

Table of Contents: “... Control Flow with Classical Modal Logic -- A Logic of Coequations -- A Semantic Formulation of ???-Lifting...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... -- Video Indexing and Retrieval in Compressed Domain Using Fuzzy-Categorization -- Computing Homology...”
View full text

Electronic eBook

Computer Vision -- ACCV 2009 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part III /

Published 2010

Table of Contents: “... Context -- Person De-identification in Videos -- A Variant of the Trace Quotient Formulation...”
View full text

Electronic eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... with Applications to Transport: Part 1. Abstract Formulation.-Optimization-Based Modeling with Applications...”
View full text

Electronic eBook

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... -- Prismfields: A Framework for Interactive Modeling of Three Dimensional Caves -- Efficient Marker Matching...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”
View full text

Electronic eBook

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
View full text

Electronic eBook

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

Published 2005

Table of Contents: “...Efficient Algorithms for Detecting Signaling Pathways in Protein Interaction Networks -- Efficient...”
View full text

Electronic eBook

Computer Vision -- ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III /

Published 2006

Table of Contents: “... Mensuration Using a Stationary Camera -- Revisiting the Brightness Constraint: Probabilistic Formulation...”
View full text

Electronic eBook

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Published 2008

Table of Contents: “...Evolutionary Computing and Genetic Algorithms -- Adaptive Routing Algorithm in Wireless...”
View full text

Electronic eBook

Trapping and the Detection, Control, and Regulation of Tephritid Fruit Flies Lures, Area-Wide Programs, and Trade Implications /

Published 2014

Table of Contents: “... Attractants -- 2.3 Plant Odors as Fruit Fly Attractants -- 2.4 Interactions between Tephritid Fruit Fly...”
View full text

Electronic eBook

Zero-Carbon Energy Kyoto 2012 Special Edition of the Joint Symposium "Energy Science in the Age of Global Warming" of the Kyoto University Global COE Program and the JGSEE/CEE-KMUTT /

Published 2013

Table of Contents: “... Angular Distribution Scattering from 11B in (γ, γ) Interaction -- Optimization of the new designed FEL...”
View full text

Electronic eBook

Optimized Bayesian Dynamic Advising Theory and Algorithms /

Published 2006

Table of Contents: “...Underlying theory -- Approximate and feasible learning -- Approximate design -- Problem formulation...”
View full text

Electronic eBook

Narrow Search