Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming programming » programming programmed, programming program
programs programming » programmer programming, problems programming, programs program
integrals computer » integrate computer, integrated computer, integrals chapter
constraint graphs » constraints graphs, constraint graph, constrained graphs
programming programming » programming programmed, programming program
programs programming » programmer programming, problems programming, programs program
integrals computer » integrate computer, integrated computer, integrals chapter
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 2007
Aurkibidea:
“... for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2007
Aurkibidea:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2005
Aurkibidea:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2007
Aurkibidea:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2010
Aurkibidea:
“... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2012
Aurkibidea:
“... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... Pairing of Mixed Integer Inequalities -- Approximate Min-max Relations for Odd Cycles in Planar Graphs...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2007
Aurkibidea:
“... -- Session 11 -- An Integer Programming Approach for Linear Programs with Probabilistic Constraints...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2005
Aurkibidea:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2008
Aurkibidea:
“... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...”Testu osoa
Baliabide elektronikoa
eBook
13
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
14
Argitaratua 2005
Aurkibidea:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2010
Aurkibidea:
“... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2011
Aurkibidea:
“...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2012
Aurkibidea:
“...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2006
Aurkibidea:
“... StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”Testu osoa
Baliabide elektronikoa
eBook