Canlyniadau Chwilio - parallel deduction problems function function https

Chwilio eraill:
parallel deduction » parallel reduction , parallel reductions , parallel detection
deduction problems » deduction problem , reduction problems , education problems
problems function » problems functions , problems fiction , problem functional
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

Intelligent Data Mining in Law Enforcement Analytics New Neural Networks Applied to Real Problems /

Cyhoeddwyd 2013

Tabl Cynhwysion: “...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...”
Cael y testun llawn

Electronig eLyfr

Algorithms and Computation 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Invited Talk -- Constant-Working-Space Algorithms: How Fast Can We Solve Problems without Using Any...”
Cael y testun llawn

Electronig eLyfr

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Approach -- Rough Sets Theory for Multi-Objective Optimization Problems -- How to Acquire and Structuralize...”
Cael y testun llawn

Electronig eLyfr

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Cael y testun llawn

Electronig eLyfr

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Cael y testun llawn

Electronig eLyfr

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR...”
Cael y testun llawn

Electronig eLyfr

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”
Cael y testun llawn

Electronig eLyfr

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad