Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
integration using » interaction using, integration testing
using programming » using programmable, computing programming
constraint graphs » constraints graphs, constraint graph, constrained graphs
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
integration using » interaction using, integration testing
using programming » using programmable, computing programming
constraint graphs » constraints graphs, constraint graph, constrained graphs
1
Argitaratua 2014
Aurkibidea:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... Constraint Using Linear Programming -- Sweeping with Continuous Domains -- A New Hybrid Tractable Class...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2007
Aurkibidea:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2005
Aurkibidea:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2007
Aurkibidea:
“... -- Observable Confluence for Constraint Handling Rules -- Graph Transformation Systems in CHR -- Multivalued...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2010
Aurkibidea:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2005
Aurkibidea:
“... Pairing of Mixed Integer Inequalities -- Approximate Min-max Relations for Odd Cycles in Planar Graphs...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2005
Aurkibidea:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”Testu osoa
Baliabide elektronikoa
eBook
9
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Argitaratua 2013
Aurkibidea:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... for Ontology Integration Based on Graph Rewriting -- Generating Eclipse Editor Plug-Ins Using Tiger -- From...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2010
Aurkibidea:
“... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2011
Aurkibidea:
“... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2006
Aurkibidea:
“... Graph Grammars -- Risk, Trust and Dependability -- Model-Driven Assessment of Use Cases for Dependable...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2008
Aurkibidea:
“... Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2007
Aurkibidea:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2010
Aurkibidea:
“... Algorithm for Inducing Temporal Constraint Networks -- Analysis of the Time Evolution of Scientograms Using...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2008
Aurkibidea:
“... Patterns of Poor Design Solutions Using Constraint Propagation -- A General Approach for Scenario...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2008
Aurkibidea:
“... and Spatial Imagery: Support for an Integrative Theory of Graph Cognition -- Using MusicXML to Evaluate...”Testu osoa
Baliabide elektronikoa
eBook