Kết quả tìm kiếm - integration identification problems program ((construction https) OR (instruction https))

Tìm kiếm thay thế:
integration identification » interaction identification , interactions identification , interpretation identification
identification problems » identification systems , classification problems
construction https » conservation https , construction history
instruction https » interaction https , instrumentation https
problems program » problems programs , problem program , problems progress

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference...

Được phát hành 2014

Mục lục: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
lấy văn bản

Điện tử eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Được phát hành 2013

Mục lục: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
lấy văn bản

Điện tử eBook

Advances in Integrated Design and Manufacturing in Mechanical Engineering II

Được phát hành 2007

Mục lục: “...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”
lấy văn bản

Điện tử eBook

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Được phát hành 2014

Mục lục: “...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...”
lấy văn bản

Điện tử eBook

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings /

Được phát hành 2014

Mục lục: “... on Instructions Statistics: Algorithm for Deciding Offload Function Set on Mobile Cloud System -- Improved...”
lấy văn bản

Điện tử eBook

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part II /

Được phát hành 2010

Mục lục: “... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...”
lấy văn bản

Điện tử eBook

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Được phát hành 2010

Mục lục: “... Architectures -- A GMM-Based Speaker Identification System on FPGA -- An FPGA-Based Real-Time Event Sampler -- A...”
lấy văn bản

Điện tử eBook

The Didactical Challenge of Symbolic Calculators Turning a Computational Device into a Mathematical Instrument /

Được phát hành 2005

Mục lục: “... Genesis, Individual and Social Aspects -- The Integration of Symbolic Calculators into Secondary Education...”
lấy văn bản

Điện tử eBook

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Được phát hành 2010

Mục lục: “... Elicitation and Incorporation into Class Diagrams -- Case-Based Reasoning -- Architectures Integrating Case...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2012

Mục lục: “...-ScaleProblems Sensitivity Analysis for the Purposes of Parameter Identification of a S. cerevisiae Fed-Batch...”
lấy văn bản

Điện tử eBook

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Được phát hành 2010

Mục lục: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
lấy văn bản

Điện tử eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Được phát hành 2010

Mục lục: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
lấy văn bản

Điện tử eBook

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Được phát hành 2015

Mục lục: “... Buffer Using Tunable Fiber Bragg Grating -- An Exploratory Case Study of Offshore Outsourcing: Problems...”
lấy văn bản

Điện tử eBook

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Được phát hành 2008

Mục lục: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
lấy văn bản

Điện tử eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Được phát hành 2008

Mục lục: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
lấy văn bản

Điện tử eBook

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Được phát hành 2005

Mục lục: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
lấy văn bản

Điện tử eBook

Innovations in Computing Sciences and Software Engineering

Được phát hành 2010

Mục lục: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
lấy văn bản

Điện tử eBook

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... Computational Complexity -- Algorithm -- On Several Scheduling Problems with Rejection or Discretely...”
lấy văn bản

Điện tử eBook

Advances in Machine Vision, Image Processing, and Pattern Analysis International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006, Xi'an, China, Augus...

Được phát hành 2006

Mục lục: “... by Genetic Programming -- Identifying Single Good Clusters in Data Sets -- A New Simplified Gravitational...”
lấy văn bản

Điện tử eBook

Information Processing with Evolutionary Algorithms From Industrial Applications to Academic Speculations /

Được phát hành 2005

Mục lục: “...-Adaptive Software -- Extending the Boundaries of Design Optimization by Integrating Fast Optimization...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp