Søgeresultater - interface method processing program constructive graph

Søg alternativer:
program constructive » programs constructive , program construction , program constructing
processing program » processing programs , processing programmed , proceedings program
constructive graph » constructive type , constructive approach , construction graphics
method processing » metal processing , method process , methods preprocessing
interface method » interface methods , interphase method , interval method

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference...

Udgivet 2007

Indholdsfortegnelse: “... by Graph Decomposition -- A Reachability Predicate for Analyzing Low-Level Software -- Generating...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”
Få fuldtekst

Electronisk eBog

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... for Surface Correction -- A Local-Frame Based Method for Vector Field Construction on Raw Point Cloud...”
Få fuldtekst

Electronisk eBog

Visual Information Communication

Udgivet 2010

Indholdsfortegnelse: “... Interface -- Multi-dimensional Data Visualization using Concentric Coordinates -- Construct Connotation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... for a Space-Based Astrometry Mission -- An Effective Method for Locally Neighborhood Graphs Updating...”
Få fuldtekst

Electronisk eBog

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Dimension Graphs -- Process Modeling and Workflow Systems -- Workflow Resource Patterns: Identification...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... to Construct State Registries–Matching Undeniability with Public Security -- Data Warehouses and Data Mining...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...”
Få fuldtekst

Electronisk eBog

Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “... -- Metaheuristics for Tuning Model Parameters in Two Natural Language Processing Applications -- Clustering a Very...”
Få fuldtekst

Electronisk eBog

Social Informatics 4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “... Media -- A Computational Analysis of Joint Decision Making Processes -- Collaboratively Constructing a...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Graph Visualisation for Mobile Semantic Web Interfaces -- A Qualitative Model for Visibility Relations....”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”
Få fuldtekst

Electronisk eBog

Innovations in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... -- Some Results on List Total Colorings of Planar Graphs -- Linear Polynomial-Time Algorithms To Construct...”
Få fuldtekst

Electronisk eBog

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... in Three-Dimensional Environment -- Markovian Ants in a Queuing System -- A Parametric Method Applied...”
Få fuldtekst

Electronisk eBog

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... by Clustering Query Interfaces Link Graph -- CBP: A New Efficient Method for Mining Multilevel and Generalized...”
Få fuldtekst

Electronisk eBog

Advances in Applied Mathematics

Udgivet 2014

Indholdsfortegnelse: “... of perturbations -- A Higher Order Immersed Discontinuous Galerkin Finite Element Method for the Acoustic Interface...”
Få fuldtekst

Electronisk eBog

Web-Age Information Management 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Method of Stakeholder Extraction for News Contents Analysis -- Stream Processing -- An Efficient Approach...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning