檢索結果 - interactive generalisation processes program interactive https

搜索替代詞:
interactive generalisation » interactive visualisation , inductive generalization , interactive geovisualization
generalisation processes » mineralization processes , generalisation properties , generalization processing
program interactive » programmed interactive , programs integrative , programs interaction
processes program » process program , processing program , processes programming
interactive https » interaction https , interactions https , interactive hip

Natural Language Processing and Information Systems 10th International Conference on Applications...

出版 2005

書本目錄: “... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...”
獲取全文

電子電子書

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

出版 2006

書本目錄: “... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”
獲取全文

電子電子書

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

電子電子書

Times of Convergence. Technologies Across Learning Contexts Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 20...

出版 2008

書本目錄: “...Using Interaction Analysis to Reveal Self-Regulated Learning in Virtual Communities -- Evaluating...”
獲取全文

電子電子書

Cultural Computing Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings /

出版 2010

書本目錄: “... Board Games -- Comparing Binarisation Techniques for the Processing of Ancient Manuscripts -- Complex...”
獲取全文

電子電子書

From Animals to Animats 11 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings /

出版 2010

書本目錄: “... of Robot-Environment Interaction Have a Meaning? -- Information Dynamics of Evolved Agents -- Taming...”
獲取全文

電子電子書

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

出版 2010

書本目錄: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
獲取全文

電子電子書

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /

出版 2005

書本目錄: “... Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic...”
獲取全文

電子電子書

Advances in Computer Graphics and Computer Vision International Conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers /

出版 2007

書本目錄: “... -- IV: Interactive Environments -- Distributed 3D Information Visualization – Towards Integration...”
獲取全文

電子電子書

Concurrency Theory Calculi an Automata for Modelling Untimed and Timed Concurrent Systems /

由 Bowman, Howard., Bowman, Howard., Gomez, Rodolfo.
出版 2006

書本目錄: “...Background on Concurrency Theory -- Concurrency Theory — Untimed Models -- Process Calculi: LOTOS...”
獲取全文

電子電子書

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

出版 2007

書本目錄: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
獲取全文

電子電子書

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

出版 2006

書本目錄: “... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...”
獲取全文

電子電子書

Sustaining TEL: From Innovation to Learning and Practice 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, Pro...

出版 2010

書本目錄: “... in an Exploratory Learning Environment for Mathematics Generalisation -- Representing the Spaces When Planning...”
獲取全文

電子電子書

Cartography in Central and Eastern Europe Selected Papers of the 1st ICA Symposium on Cartography for Central and Eastern Europe /

出版 2010

書本目錄: “... Recursive Approach -- Constraint-Based Evaluation of Automated and Manual Generalised Topographic Maps...”
獲取全文

電子電子書

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

電子電子書

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

出版 2010

書本目錄: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
獲取全文

電子電子書

Research and Development in Intelligent Systems XXVIII Incorporating Applications and Innovations in Intelligent Systems XIX Proceedings of AI-2011, the Thirty-first SGAI Internati...

出版 2011

書本目錄: “... Determination Problem in Combinatorial Auctions -- Validation Sets, Genetic Programming and Generalisation -- A...”
獲取全文

電子電子書

縮小搜索