Arama Sonuçları - detection computing programming programming contracts visual*

Şunu mu demek istediniz:
programming programming » programming programmed , programming program
computing programming » computer programming , computers programming
programming contracts » programming contract , programming constructs , programming constraints
detection computing » detection comparing , detection computer , detection combining
contracts visual » contacts visual , contrast visual , contracts michal

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Tam Metin Erişim

Elektronik Ekitap

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? -- Contracts for Scala...”
Tam Metin Erişim

Elektronik Ekitap

Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Detection -- Simulating Complex Organ Interactions: Evaluation of a Soft Tissue Discrete Model -- Face...”
Tam Metin Erişim

Elektronik Ekitap

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- An Approach for Creating Domain Specific Visualisations of CSP Models -- Using Z in the Development...”
Tam Metin Erişim

Elektronik Ekitap

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “...Cloud, Mobile and Web Computing -- Model-Driven Development of Mobile Applications Allowing Role...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... from Speech -- Audio-Visual Fusion for Detecting Violent Scenes in Videos -- Experimental Study on a...”
Tam Metin Erişim

Elektronik Ekitap

Emerging Technologies for Information Systems, Computing, and Management

Baskı/Yayın Bilgisi 2013

İçindekiler: “...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”
Tam Metin Erişim

Elektronik Ekitap

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Baskı/Yayın Bilgisi 2013

İçindekiler: “...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...”
Tam Metin Erişim

Elektronik Ekitap

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Baskı/Yayın Bilgisi 2014

İçindekiler: “...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...”
Tam Metin Erişim

Elektronik Ekitap

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Complexity and Deliverability -- Visual Servoing based Positioning and Object Tracking on Humanoid Robot...”
Tam Metin Erişim

Elektronik Ekitap

Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Sesqui-Pushout Rewriting -- Automata on Directed Graphs: Edge Versus Vertex Marking -- Conflict Detection...”
Tam Metin Erişim

Elektronik Ekitap

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... and Applications in Policies, Electronic Contracts and Security -- Abductive Workflow Mining Using Binary...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Environments -- Dynamic Reward Shaping: Training a Robot by Voice -- A Visual Grammar for Face Detection...”
Tam Metin Erişim

Elektronik Ekitap

Progress in Pattern Recognition, Image Analysis and Applications 11th Iberoamerican Congress on Pattern Recognition, CIARP 2006, Cancún, Mexico, November 14-17, 2006, Proce...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...”
Tam Metin Erişim

Elektronik Ekitap

Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... and Visually Impaired students can perform computer-aided molecular design with an assistive molecular...”
Tam Metin Erişim

Elektronik Ekitap

Research and Development in Intelligent Systems XXX Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI Internationa...

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Expressions with Distributed Semantics -- Genetic Programming for Wind Power Forecasting and Ramp Detection...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt