Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel programming » parallel processing
programming answer » programming annex, programming power, programming analog
function function » function functional, functions functional, function dysfunction
answer function » answers functional, transfer function, wannier function
function https » functions https, fiction https
parallel programming » parallel processing
programming answer » programming annex, programming power, programming analog
function function » function functional, functions functional, function dysfunction
answer function » answers functional, transfer function, wannier function
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”View full text
Electronic
eBook
6
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
8
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... of Communication Faults -- Algebraic Graph Algorithms -- Contributed Papers -- Question/Answer Games on Towers...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... with OntoSyphon -- Ontology Query Answering on Databases -- Formal Model for Ontology Mapping Creation -- A...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Translation with Query Answering for Efficient Keyword Search -- Improving the Performance of Semantic Web...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...”View full text
Electronic
eBook