Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
programming constraint » programming constrained, programming unconstrained, programming constructs
programs programming » programmer programming, problems programming, programming programming
integrals computer » integrate computer, integrated computer, integrals chapter
computer programs » computer program
constraint graphs » constraints graphs, constraint graph, constrained graphs
programming constraint » programming constrained, programming unconstrained, programming constructs
programs programming » programmer programming, problems programming, programming programming
integrals computer » integrate computer, integrated computer, integrals chapter
computer programs » computer program
constraint graphs » constraints graphs, constraint graph, constrained graphs
1
Foilsithe 2014
Clár Ábhair:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2007
Clár Ábhair:
“... for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2007
Clár Ábhair:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2010
Clár Ábhair:
“... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2008
Clár Ábhair:
“... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2007
Clár Ábhair:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2005
Clár Ábhair:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2012
Clár Ábhair:
“... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2010
Clár Ábhair:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2005
Clár Ábhair:
“... Pairing of Mixed Integer Inequalities -- Approximate Min-max Relations for Odd Cycles in Planar Graphs...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2007
Clár Ábhair:
“... -- Session 11 -- An Integer Programming Approach for Linear Programs with Probabilistic Constraints...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2005
Clár Ábhair:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Foilsithe 2013
Clár Ábhair:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2005
Clár Ábhair:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2008
Clár Ábhair:
“... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2012
Clár Ábhair:
“...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2010
Clár Ábhair:
“... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Foilsithe 2010
Clár Ábhair:
“... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2010
Clár Ábhair:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2011
Clár Ábhair:
“...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar