Arama Sonuçları - interface computer programs problem constraint https

Şunu mu demek istediniz:
interface computer » interfaces computer , interactive computer , internet computer
problem constraint » problem constrained , problems constrained , from constraint
computer programs » computer program
programs problem » programs problems , program problem , programmes problems
constraint https » constraint atoms , constraint graphs , constraint codes

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving...”
Tam Metin Erişim

Elektronik Ekitap

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...”
Tam Metin Erişim

Elektronik Ekitap

Computers and Education: Towards Educational Change and Innovation

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Impaired PSENs through a Computer Mediated Distance Learning Program....”
Tam Metin Erişim

Elektronik Ekitap

Computational Collective Intelligence. Technologies and Applications Second International...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”
Tam Metin Erişim

Elektronik Ekitap

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”
Tam Metin Erişim

Elektronik Ekitap

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Constraints for Multidimensional Knapsack Problems Using Evolution Strategies -- A Critical Assessment of Some...”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Tam Metin Erişim

Elektronik Ekitap

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... with a Low-Level Hybridization of Ants and Constraint Programming -- Profitability Comparison Between Gas...”
Tam Metin Erişim

Elektronik Ekitap

Innovations in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
Tam Metin Erişim

Elektronik Ekitap

Artificial Computation in Biology and Medicine International Work-Conference on the Interplay...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... to Prediction of Exacerbations of Chronic Obstructive Pulmonary Disease -- Brain-Computer Interfacing...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
Tam Metin Erişim

Elektronik Ekitap

The Vehicle Routing Problem: Latest Advances and New Challenges

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Orienteering Problem -- An Integer Linear Programming Local Search for Capacitated Vehicle Routing Problems...”
Tam Metin Erişim

Elektronik Ekitap

Applications of Soft Computing Recent Trends /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Computer Graphics, Imaging and Vision -- Efficient Genetic Algorithms for Arabic Handwritten...”
Tam Metin Erişim

Elektronik Ekitap

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”
Tam Metin Erişim

Elektronik Ekitap

Computer Vision -- ECCV 2012. Workshops and Demonstrations Florence, Italy, October 7-13, 2012, Proceedings, Part I /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... -- Biological and Computer Vision Interfaces (BCVI) Lessons from the Primate Visual System -- Neural Mechanisms...”
Tam Metin Erişim

Elektronik Ekitap

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Epistemic Interface Design -- Enhancing State-Space Tree Diagrams for Collaborative Problem Solving...”
Tam Metin Erişim

Elektronik Ekitap

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt