檢索結果 - interaction computational programming semantics from various

1

Mathematical aspects of logic programming semantics /

由 Hitzler, Pascal.
出版 2011

主題: “...Programming languages (Electronic computers) Semantics....”

圖書

2

The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proceedings /

出版 2005

書本目錄: “... for User Oriented Semantic Service Discovery -- Optimally Distributing Interactions Between Composed...”
獲取全文

電子電子書

3

The Semantic Web: Research and Applications 7th Extended Semantic Web Conference, ESWC 2010...

出版 2010

書本目錄: “... -- Interactive Relationship Discovery via the Semantic Web -- Put in Your Postcode, Out Comes the Data: A Case...”
獲取全文

電子電子書

4

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings /

出版 2007

書本目錄: “... Finding -- Social Semantic Web -- Extracting Social Networks Among Various Entities on the Web -- Towards...”
獲取全文

電子電子書

5

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

出版 2008

書本目錄: “... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”
獲取全文

電子電子書

6

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /

出版 2014

書本目錄: “...Automata theory and formal languages -- Principles and semantics of programming languages...”
獲取全文

電子電子書

7

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

出版 2014

書本目錄: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
獲取全文

電子電子書

8

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I /

出版 2014

書本目錄: “... -- Archive Management in Interactive Evolutionary Computation with Minimum Requirement for Human User’s...”
獲取全文

電子電子書

9

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II /

出版 2015

書本目錄: “... in Modeling and Simulation -- Fuzzy Xor Classes from Quantum Computing -- New method for non-linear correction...”
獲取全文

電子電子書

10

Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /

出版 2005

書本目錄: “... -- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs -- Architectures -- Declarative...”
獲取全文

電子電子書

11

Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings /

出版 2008

書本目錄: “... Resources in Harmony -- Verb Class Discovery from Rich Syntactic Data -- Growing TreeLex -- Acquisition...”
獲取全文

電子電子書

12

Computer Information Systems and Industrial Management 13th IFIP TC 8 International Conference...

出版 2014

書本目錄: “... PSO and Differential Evolution on the Selected PID Tuning Problem -- Improving Rule Selection from...”
獲取全文

電子電子書

13

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory...

出版 2008

書本目錄: “...: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa...”
獲取全文

電子電子書

14

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings /

出版 2010

書本目錄: “... -- Leveraging Business Process Models for ETL Design -- Adaptation in Open Systems: Giving Interaction Its...”
獲取全文

電子電子書

15

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

出版 2013

書本目錄: “... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...”
獲取全文

電子電子書

16

Models in Software Engineering Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /

由 Giese, Holger., Giese, Holger.
出版 2008

書本目錄: “... Methods and Tools for the Design of Advanced Interactive Techniques -- Transforming Discourse Models...”
獲取全文

電子電子書

17

Integrated Uncertainty Management and Applications

出版 2010

書本目錄: “... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...”
獲取全文

電子電子書

18

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

出版 2014

書本目錄: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
獲取全文

電子電子書

19

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /

出版 2005

書本目錄: “...Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph...”
獲取全文

電子電子書

20

Electronic Government and the Information Systems Perspective First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 - September2, 2010, Proceedings /

出版 2010

書本目錄: “... -- Small-Area Population Projections - A Key Element in Knowledge Based e-Governance -- From Policy-Making...”
獲取全文

電子電子書

縮小搜索