檢索結果 - constructive computation programming reducing concepts a

搜索替代詞:
constructive computation » constructive communication , constructive communications , construction competitions
computation programming » communication programming , computation programmatic , computing programming
programming reducing » programming inducing , programming predicting , programme reducing
reducing concepts » rendering concepts , enduring concepts , relating concepts
concepts a » concepts _

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

出版 2015

書本目錄: “... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”
獲取全文

電子電子書

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /

出版 2005

書本目錄: “... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...”
獲取全文

電子電子書

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

出版 2010

書本目錄: “... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...”
獲取全文

電子電子書

Use of an Attribute Grammar for Software Process Measurement

由 Atan, Rodziah
出版 2005

主題: “...Programming languages (Electronic computers)...”
獲取全文

Thesis

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

出版 2013

書本目錄: “... -- A Causality Analysis Framework for Component-based Real-time Systems -- Reducing Monitoring Overhead...”
獲取全文

電子電子書

Development of earthquake energy dissipation system in reinforced concrete frame buildings /

由 Hejazi, Farzad.

主題: “...Concrete masonry (Building construction)....”

Thesis 圖書

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Pr...

出版 2008

書本目錄: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
獲取全文

電子電子書

New Science of Learning Cognition, Computers and Collaboration in Education /

出版 2010

書本目錄: “... in Hypermedia: An Approach to Promoting Knowledge Co-Construction -- Virtual Worlds for Young People in a...”
獲取全文

電子電子書

Foundations and Applications of MIS A Model Theory Approach /

由 Takahara, Yasuhiko., Takahara, Yasuhiko., Liu, Yongmei.
出版 2006

書本目錄: “... Approach -- Model Construction Language and Systems Implementation Language -- Computer-Acceptable Set...”
獲取全文

電子電子書

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

出版 2010

書本目錄: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
獲取全文

電子電子書

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

電子電子書

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

出版 2007

書本目錄: “... in DS-CDMA Systems -- Approximate Life Cycle Assessment of Product Concepts Using a Hybrid Genetic...”
獲取全文

電子電子書

Technology Enhanced Learning: Quality of Teaching and Educational Reform 1st International Conference, TECH-EDUCATION 2010, Athens, Greece, May 19-21, 2010. Proceedings /

出版 2010

書本目錄: “... Knowledge Practices -- Machine Learning Support for Human Articulation of Concepts from Examples – A...”
獲取全文

電子電子書

Entertainment for Education. Digital Techniques and Systems 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010, Proceeding...

出版 2010

書本目錄: “... Games -- A Multimodal Virtual Anatomy E-Learning Tool for Medical Education -- To Construct...”
獲取全文

電子電子書

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005, Proceedings, Part II /

出版 2005

書本目錄: “... and Construction of the Caddy Robot -- Rapid Algorithms for MPEG-2 to H.264 Transcoding -- A New Method...”
獲取全文

電子電子書

Progress in Spatial Data Handling 12th International Symposium on Spatial Data Handling /

出版 2006

書本目錄: “... Maps and its Usability Testing -- A Linear Programming Approach to Rectangular Cartograms -- 3D...”
獲取全文

電子電子書

Web-Age Information Management 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010, Proceedings /

出版 2010

書本目錄: “... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...”
獲取全文

電子電子書

Database Systems for Advanced Applications 15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 1-4, 2...

出版 2010

書本目錄: “... Workshop Organizers’ Message -- Distributed SLCA-Based XML Keyword Search by Map-Reduce -- FVC: A Feature...”
獲取全文

電子電子書

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

出版 2006

書本目錄: “... with Semantic Soft Constraints -- Photo Retrieval from Personal Memories Using Generic Concepts -- PanoWalk: A...”
獲取全文

電子電子書

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

出版 2012

書本目錄: “... (SSVEP)-Based Brain-Computer Interface (BCI): A Low-Delayed Asynchronous Wheelchair Control System...”
獲取全文

電子電子書

縮小搜索