Suchergebnisse - integration formalization processing problems interface https

Andere Suchmöglichkeiten:
integration formalization » integration formalisations , integrating normalization , information formalization
formalization processing » normalization preprocessing , formulations processing , formation processing
processing problems » programming problems
problems interface » problems interfaces , problem interface , process interface
https » http

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Veröffentlicht 2010

Inhaltsangabe: “... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”
Volltext

Elektronisch E-Book

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...”
Volltext

Elektronisch E-Book

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work...

Veröffentlicht 2007

Inhaltsangabe: “... -- Optimal Cue Combination for Saliency Computation: A Comparison with Human Vision -- The Underlying Formal...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...”
Volltext

Elektronisch E-Book

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent...

Veröffentlicht 2005

Inhaltsangabe: “... -- An Integrated Approach to Battlefield Situation Assessment -- Negotiation Based on Personality -- MIAM: A Robot...”
Volltext

Elektronisch E-Book

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS...

Veröffentlicht 2015

Inhaltsangabe: “...Enabling Value Creation -- On the Fragmentation of Process Information: Challenges, Solutions...”
Volltext

Elektronisch E-Book

Enterprise Information Systems 14th International Conference, ICEIS 2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers /

Veröffentlicht 2013

Inhaltsangabe: “... Paradigm -- Part II: Databases and Information Systems Integration -- Social Information Systems: Agility...”
Volltext

Elektronisch E-Book

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... -- Location-Based Activity Recognition -- Papers -- Pinpointing in the Description Logic -- Integrating...”
Volltext

Elektronisch E-Book

Gesture and Sign Language in Human-Computer Interaction and Embodied Communication 9th International Gesture Workshop, GW 2011, Athens, Greece, May 25-27, 2011, Revised Selected Pa...

Veröffentlicht 2012

Inhaltsangabe: “... for a Natural User Interface -- User Experience of Gesture Based Interfaces: A Comparison...”
Volltext

Elektronisch E-Book

Pedagogically Founded Courseware Generation for Web-Based Learning An HTN-Planning-Based Approach Implemented in Paigos /

von Ullrich, Carsten., Ullrich, Carsten.
Veröffentlicht 2008

Inhaltsangabe: “... -- General Principles -- Course Generation in Practice: Formalized Scenarios -- Implementation...”
Volltext

Elektronisch E-Book

Innovative Approaches for Learning and Knowledge Sharing First European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “...Keynotes -- From Clicks to Touches: Enabling Face-to-Face Shared Interface -- Innovating eLearning...”
Volltext

Elektronisch E-Book

Key Competencies in the Knowledge Society IFIP TC 3 International Conference, KCKS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... and Skills: Filling Old Skins with New Wine -- Coping with Complex Real-World Problems: Strategies...”
Volltext

Elektronisch E-Book

Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... -- Calculemus -- Towards the Formal Reliability Analysis of Oil and Gas Pipelines -- Problem Formulation...”
Volltext

Elektronisch E-Book

Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers /

Veröffentlicht 2006

Inhaltsangabe: “... Formalism -- Statistical Analysis of the Different Operator Involved in the Fuzzy Inference Process -- Fuzzy...”
Volltext

Elektronisch E-Book

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... -- A Web Interface for Isabelle: The Next Generation -- The ForMaRE Project – Formal Mathematical...”
Volltext

Elektronisch E-Book

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Veröffentlicht 2005

Inhaltsangabe: “... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...”
Volltext

Elektronisch E-Book

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part II /

Veröffentlicht 2010

Inhaltsangabe: “... Algorithms for Personalized Recommendation -- Intellignet Signal Processing for Human-Machine Interaction (I...”
Volltext

Elektronisch E-Book

HCI and Usability for Medicine and Health Care Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Gra...

Veröffentlicht 2007

Inhaltsangabe: “...Formal Methods in Usability Engineering -- User-Centered Methods Are Insufficient for Safety...”
Volltext

Elektronisch E-Book

Collaboration and Technology 19th International Conference, CRIWG 2013, Wellington, New Zealand, October 30 - November 1, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... -- Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach -- Using Geo-collaboration...”
Volltext

Elektronisch E-Book

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
Volltext

Elektronisch E-Book

Suche einschränken