Результаты поиска - integrated resolution programming programmed constraint codes

Альтернативы поиска:
programming programmed » processing programmed
resolution programming » evolution programming , resolution programmable , recreation programming
integrated resolution » integrated solution , integrated restoration , integrated solutions
programmed constraint » programming constraint , programming constraints , programme contract
constraint codes » constraint models , constraint model , constraint mode

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Опубликовано 2005

Оглавление: “...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”
Полный текст

Электронный ресурс eКнига

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Опубликовано 2005

Оглавление: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Полный текст

Электронный ресурс eКнига

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

Опубликовано 2007

Оглавление: “...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”
Полный текст

Электронный ресурс eКнига

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Опубликовано 2013

Оглавление: “... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”
Полный текст

Электронный ресурс eКнига

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative...”
Полный текст

Электронный ресурс eКнига

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /

Опубликовано 2008

Оглавление: “... for Revision Programming and Connections to Active Integrity Constraints -- Recovering Consistency...”
Полный текст

Электронный ресурс eКнига

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Sele...

Опубликовано 2006

Предметы: “...Programming languages (Electronic computers)....”
Полный текст

Электронный ресурс eКнига

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /

Опубликовано 2008

Оглавление: “...: Modeling -- Integrating Agent Models and Dynamical Systems -- Contributed Papers: Goals -- Composing High...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2012

Оглавление: “... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...”
Полный текст

Электронный ресурс eКнига

Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... Constraint Satisfaction Problems with SMT -- Two Techniques for Minimizing Resolution Proofs -- On Moderately...”
Полный текст

Электронный ресурс eКнига

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... of Sledgehammer -- Invited Talk 4 -- From Resolution and DPLL to Solving Arithmetic Constraints -- Modal Logic...”
Полный текст

Электронный ресурс eКнига

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Полный текст

Электронный ресурс eКнига

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
Полный текст

Электронный ресурс eКнига

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Опубликовано 2014

Оглавление: “...-Specific Constraints -- Scalable Armies of Model Clones through Data Sharing -- Feature and Variability...”
Полный текст

Электронный ресурс eКнига

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2012

Оглавление: “... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2010

Оглавление: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Полный текст

Электронный ресурс eКнига

Advanced Techniques in Computing Sciences and Software Engineering

Опубликовано 2010

Оглавление: “... Constraints to Resolution Rules Part I : conceptual framework -- From Constraints to Resolution Rules Part II...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2006

Оглавление: “... Constraints -- Robust Quality-Scalable Transmission of JPEG2000 Images over Wireless Channels Using LDPC Codes...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2007

Оглавление: “... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска