检索结果 - services evaluating programming programming constraint https

搜索替代词:
programming programming » programming programmed , programming program
evaluating programming » computing programming , exploring programming
programming constraint » programming constrained , programming unconstrained , programming constructs
services evaluating » services evaluation , service evaluation , devices evaluation
constraint https » constraint atoms , constraint graphs , constraint codes

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

出版 2010

书本目录: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
获取全文

电子电子书

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

出版 2014

书本目录: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
获取全文

电子电子书

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

出版 2006

书本目录: “... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”
获取全文

电子电子书

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited...

出版 2007

书本目录: “...Tutorial -- Hybrid Algorithms in Constraint Programming -- Technical Papers -- An Attempt...”
获取全文

电子电子书

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

出版 2008

书本目录: “... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”
获取全文

电子电子书

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

出版 2005

书本目录: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
获取全文

电子电子书

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

出版 2007

书本目录: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
获取全文

电子电子书

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

出版 2006

书本目录: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
获取全文

电子电子书

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings /

出版 2006

书本目录: “... Algorithms -- Developmental Evaluation in Genetic Programming: The Preliminary Results -- Evolving Noisy...”
获取全文

电子电子书

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

出版 2010

书本目录: “... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”
获取全文

电子电子书

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

出版 2007

书本目录: “... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”
获取全文

电子电子书

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

出版 2010

书本目录: “... Constraints Can Be Resolved – The Lovász Local Lemma and Satisfiability -- Session 1-Track A. Combinatorial...”
获取全文

电子电子书

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

出版 2008

书本目录: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
获取全文

电子电子书

Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers /

出版 2007

书本目录: “... for the Tree Homeomorphism Problem -- Datalog Programs over Infinite Databases, Revisited -- XML Query...”
获取全文

电子电子书

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /

出版 2011

书本目录: “... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...”
获取全文

电子电子书

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

出版 2005

书本目录: “... Constraint Programming -- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event...”
获取全文

电子电子书

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

出版 2013

书本目录: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
获取全文

电子电子书

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

出版 2015

书本目录: “... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”
获取全文

电子电子书

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /

出版 2010

书本目录: “...Towards Scalable Partial Evaluation of Declarative Programs -- Deciding Full Branching Time Logic...”
获取全文

电子电子书

Applications of Declarative Programming and Knowledge Management 15th International Conference...

出版 2005

书本目录: “... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”
获取全文

电子电子书

1
2
3
4
5
6
7
8
9
10
11
下一个 »
[16]

缩小搜索