Hakutulokset - interface evaluating programming program constraint graphs

Tarkoititko:
evaluating programming » computing programming , exploring programming
interface evaluating » interface evaluation , interfaces evaluation , internet evaluating
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 /

Julkaistu 2007

Sisällysluettelo: “... -- Observable Confluence for Constraint Handling Rules -- Graph Transformation Systems in CHR -- Multivalued...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... and Spatial Imagery: Support for an Integrative Theory of Graph Cognition -- Using MusicXML to Evaluate...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... Disambiguation -- Telemedical System in Evaluation of Auditory Brainsteam Responses and Support of Diagnosis...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”
Hae kokoteksti

Elektroninen E-kirja

Innovations in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2012

Sisällysluettelo: “... in Heterogeneous Environments -- DGraph: Algorithms for Shortgun Reads Assembly Using De Bruijn Graph -- Knowledge...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “... Object in the Stack of Objects -- Recognition of 3D Object Using Attributed Relation Graph...”
Hae kokoteksti

Elektroninen E-kirja

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...

Julkaistu 2014

Sisällysluettelo: “... Reconstructing Digital Objects’ Custody Chain -- Industry Case Studies Program 2014 -- Industry Case Studies...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “... Adaptation Approach in Educational Hypermedia: Empirical Evaluation -- GLAM: A Generic Layered Adaptation...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... Feature -- Multi-scale Topo-morphometric Opening of Arteries and Veins: An Evaluative Study via Pulmonary...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... to Evaluate Constraint Diagrams with Novice Users -- “Graph-as-Picture” Misconceptions in Young Students...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... of Distributed Top-k Queries -- Evaluating Mid-(k, n) Queries Using B?+?-Tree -- On Effective E-mail...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... Capturing and Processing -- Local Adaptive Extraction of References -- Logic-Based Trajectory Evaluation...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “... Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “... -- Binocular Uncalibrated Photometric Stereo -- Empirical Evaluation of a Visual Interface for Exploring...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua