1
Argitaratua 2006
Aurkibidea: ... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2005
Aurkibidea: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2007
Aurkibidea: ... -- Answer-Set Programming Based Dynamic User Modeling for Recommender Systems -- Application of Logic...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2015
Aurkibidea: ... Intelligence -- Allowing Cyclic Dependencies in Modular Logic Programming -- Probabilistic Constraint...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2008
Aurkibidea: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2015
Aurkibidea: ... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2010
Aurkibidea: ...Information Acquisition in the Exploration of Random Fields -- A Computational Comparison...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2010
Aurkibidea: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2012
Aurkibidea: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2007
Aurkibidea: ...: Rendering -- A Progressive Refinement Approach for the Visualisation of Implicit Surfaces -- Diffusion Based...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2006
Aurkibidea: ... -- Verification Constraint Problems with Strengthening -- Semantics -- Quantitative ?-Calculus Analysis of Power...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2006
Aurkibidea: ... -- Computer System Survivability Modelling by Using Stochastic Activity Network -- Nuclear Safety...
Testu osoa
Baliabide elektronikoa eBook
13
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
14
Argitaratua 2007
Gaiak: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2007
Aurkibidea: ... Methodology -- Service-Aware Computing -- A Semantic P2P Framework for Building Context-Aware Applications...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2007
Aurkibidea: ... Constraint Satisfaction Problems are NP-Complete -- NP by Means of Lifts and Shadows -- The Complexity...
Testu osoa
Baliabide elektronikoa eBook
17
Aurkibidea: ...-atomic Scenario -- 10. Conclusion -- A. A Primer on Constraint-Based Program Analysis....
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2006
Aurkibidea: ... of Clairvoyance -- Similarity of Objects and the Meaning of Words -- Totally ? ? Computably Enumerable and m...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2013
Aurkibidea: ... Speed Functions Based on Progressive Wave Propagation -- Vanishing Points Estimation and Line...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2005
Aurkibidea: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Testu osoa
Baliabide elektronikoa eBook