檢索結果 - integrals interactive programming programming constraints data

搜索替代詞:
programming programming » programming programmed , programming program
interactive programming » imperative programming , interfacing programming , reactive programming
programming constraints » programming constraint , programming constrained , programming constructs
integrals interactive » integrative interactive , interfaces interactive , integrals integration
constraints data » constraints a , constraints based , constraints _

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...”
獲取全文

電子電子書

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

出版 2013

書本目錄: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

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

出版 2015

書本目錄: “... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”
獲取全文

電子電子書

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

出版 2013

書本目錄: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
獲取全文

電子電子書

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

出版 2014

書本目錄: “... and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

出版 2010

書本目錄: “... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
獲取全文

電子電子書

Integrated Uncertainty Management and Applications

出版 2010

書本目錄: “... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...”
獲取全文

電子電子書

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

出版 2010

書本目錄: “...Web-Based Systems for Data Management -- Enhancing Accuracy of Recommender System through Adaptive...”
獲取全文

電子電子書

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

出版 2010

書本目錄: “... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...”
獲取全文

電子電子書

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

出版 2008

書本目錄: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
獲取全文

電子電子書

Advances in Knowledge Discovery and Data Mining 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, Proceedings, Part II /

出版 2015

書本目錄: “... Integrating Effective Links with Attributes for Networked Data Classification -- Clustering on Multi-source...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
獲取全文

電子電子書

Advances in Integrated Design and Manufacturing in Mechanical Engineering II

出版 2007

書本目錄: “... and Communication -- Rapid and Accurate Data Integration Method for Reverse Engineering Applications -- Observations...”
獲取全文

電子電子書

Computational Linguistics and Intelligent Text Processing 11th International Conference, CICLing 2010, Iasi, Romania, March 21-27, 2010, Proceedings /

出版 2010

書本目錄: “... Sentences towards Building a Telugu Treebank -- EusPropBank: Integrating Semantic Information in the Basque...”
獲取全文

電子電子書

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

出版 2008

書本目錄: “... Development Organization -- An Architectural Style for Data-Driven Systems -- Architectural Analysis...”
獲取全文

電子電子書

1
2
3
4
5
6
下一個 »
[6]

縮小搜索