Canlyniadau Chwilio - interface evaluation programming program constraint graphs

Chwilio eraill:
evaluation programming » evaluating programming , evolution programming , variation programming
interface evaluation » interfaces evaluation , interference evaluation , integrated evaluation
programming program » programming programmed , programming problem , programming problems
program constraint » programs constraints , problem constraint , diagram constraint
constraint graphs » constraints graphs , constraint graph , constrained graphs

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Observable Confluence for Constraint Handling Rules -- Graph Transformation Systems in CHR -- Multivalued...”
Cael y testun llawn

Electronig eLyfr

Applications of Graph Transformations with Industrial Relevance Third International Symposium...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
Cael y testun llawn

Electronig eLyfr

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... and Spatial Imagery: Support for an Integrative Theory of Graph Cognition -- Using MusicXML to Evaluate...”
Cael y testun llawn

Electronig eLyfr

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Disambiguation -- Telemedical System in Evaluation of Auditory Brainsteam Responses and Support of Diagnosis...”
Cael y testun llawn

Electronig eLyfr

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”
Cael y testun llawn

Electronig eLyfr

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
Cael y testun llawn

Electronig eLyfr

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

Cyhoeddwyd 2012

Tabl Cynhwysion: “... in Heterogeneous Environments -- DGraph: Algorithms for Shortgun Reads Assembly Using De Bruijn Graph -- Knowledge...”
Cael y testun llawn

Electronig eLyfr

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
Cael y testun llawn

Electronig eLyfr

Context in Computing A Cross-Disciplinary Approach for Modeling the Real World /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...”
Cael y testun llawn

Electronig eLyfr

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Object in the Stack of Objects -- Recognition of 3D Object Using Attributed Relation Graph...”
Cael y testun llawn

Electronig eLyfr

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Reconstructing Digital Objects’ Custody Chain -- Industry Case Studies Program 2014 -- Industry Case Studies...”
Cael y testun llawn

Electronig eLyfr

Adaptive Hypermedia and Adaptive Web-Based Systems 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Adaptation Approach in Educational Hypermedia: Empirical Evaluation -- GLAM: A Generic Layered Adaptation...”
Cael y testun llawn

Electronig eLyfr

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part III /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Feature -- Multi-scale Topo-morphometric Opening of Arteries and Veins: An Evaluative Study via Pulmonary...”
Cael y testun llawn

Electronig eLyfr

Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... to Evaluate Constraint Diagrams with Novice Users -- “Graph-as-Picture” Misconceptions in Young Students...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Distributed Top-k Queries -- Evaluating Mid-(k, n) Queries Using B?+?-Tree -- On Effective E-mail...”
Cael y testun llawn

Electronig eLyfr

KI 2010: Advances in Artificial Intelligence 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Capturing and Processing -- Local Adaptive Extraction of References -- Logic-Based Trajectory Evaluation...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...”
Cael y testun llawn

Electronig eLyfr

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System...”
Cael y testun llawn

Electronig eLyfr

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Binocular Uncalibrated Photometric Stereo -- Empirical Evaluation of a Visual Interface for Exploring...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad