1
Veröffentlicht 2007
Inhaltsangabe: ... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2013
Inhaltsangabe: ... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2006
Inhaltsangabe: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2005
Inhaltsangabe: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2010
Inhaltsangabe: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2010
Inhaltsangabe: ... in Noisy Pattern Matching -- Integrating an Efficient Authorization Protocol with Trigon-Based...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2006
Inhaltsangabe: ... with Bracketing Constraints -- Parsing with Lexicalized Probabilistic Recursive Transition Networks -- Integrating...
Volltext
Elektronisch E-Book
9
von Love, Jonathan., Love, Jonathan.
Veröffentlicht 2007
Inhaltsangabe: ... Interface -- Integrated Alarm Environment -- Analogue Control Loop -- Database Operations and Structure...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2014
Inhaltsangabe: ... -- Recursive Functions on Lazy Lists via Domains and Topologies -- Formal Verification of Optical Quantum Flip...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2005
Inhaltsangabe: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2007
Inhaltsangabe: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2005
Inhaltsangabe: ... Preferences Aggregation -- Ranked Modelling with Feature Selection Based on the CPL Criterion Functions -- A...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2010
Inhaltsangabe: ... Elicitation and Incorporation into Class Diagrams -- Case-Based Reasoning -- Architectures Integrating Case...
Volltext
Elektronisch E-Book