Canlyniadau Chwilio - constructive computation ((programming second) OR (programming temporal)) concepts case

1

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...”
Cael y testun llawn

Electronig eLyfr

3

Computational Collective Intelligence. Technologies and Applications Second International...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...”
Cael y testun llawn

Electronig eLyfr

4

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
Cael y testun llawn

Electronig eLyfr

5

Principles of the Spin Model Checker

gan Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Synchronization -- Verification with Temporal Logic -- Data and Program Structures -- Channels -- Nondeterminism...”
Cael y testun llawn

Electronig eLyfr

6

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
Cael y testun llawn

Electronig eLyfr

7

Handbook of Partial Least Squares Concepts, Methods and Applications /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Case Study of a Customer Satisfaction Problem: Bootstrap and Imputation Techniques -- Comparison...”
Cael y testun llawn

Electronig eLyfr

8

Computational Linguistics and Intelligent Text Processing 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... on BE-Vector Clustering -- Deriving Event Relevance from the Ontology Constructed with Formal Concept Analysis...”
Cael y testun llawn

Electronig eLyfr

9

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...”
Cael y testun llawn

Electronig eLyfr

10

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... and Integrating Advanced IT-Concepts with Semantic Web Technology Mashups Architecture Case Study -- Intelligent...”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Cael y testun llawn

Electronig eLyfr

12

Natural Language Processing and Information Systems 14th International Conference on Applications of Natural Language to Information Systems , NLDB 2009, Saarbrücken, Germany, June...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- CITOM: Incremental Construction of Topic Maps -- Schema-Matching with Data Dictionaries -- Requirements...”
Cael y testun llawn

Electronig eLyfr

13

Statistical Analysis and Data Display An Intermediate Course with Examples in R /

gan Heiberger, Richard M., Heiberger, Richard M., Holland, Burt.
Cyhoeddwyd 2015

Pynciau: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Cael y testun llawn

Electronig eLyfr

14

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...”
Cael y testun llawn

Electronig eLyfr

15

Knowledge Engineering: Practice and Patterns 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Ontological Contexts to Assess the Relevance of Statements in Ontology Evolution -- What Is Concept Drift...”
Cael y testun llawn

Electronig eLyfr

16

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Oriented Learning in Electrical Engineering -- Origami in Education Enhanced by Computer Technology: A Case...”
Cael y testun llawn

Electronig eLyfr

17

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Learning Style Learners -- Computer-Supported Collaborative Conceptual Change -- Optimization Technique...”
Cael y testun llawn

Electronig eLyfr

18

New Frontiers in Artificial Intelligence Joint JSAI 2005 Workshop Post-Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Time-Series Data Mining Environment Based on Temporal Pattern Extraction Methods: A Case Study...”
Cael y testun llawn

Electronig eLyfr

19

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...”
Cael y testun llawn

Electronig eLyfr

20

Current Trends in Database Technology - EDBT 2004 Workshops EDBT 2004 Workshops PhD, DataX, PIM, P2P&DB, and ClustWeb, Heraklion, Crete, Greece, March 14-18, 2004, Revised Selected...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Computing and Databases (P2P&DB) -- On Constructing Small Worlds in Unstructured Peer-to-Peer Systems...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad