Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality setting » functionality testing, functionality securing, functional setting
https functionality » its functionality, bags functionality, cross functionality
program comparison » problem comparison, programming comparison, program composition
comparison https » comparison maps, comparison bits, computation https
setting https » being https, writing https, feeding https
functionality setting » functionality testing, functionality securing, functional setting
https functionality » its functionality, bags functionality, cross functionality
program comparison » problem comparison, programming comparison, program composition
comparison https » comparison maps, comparison bits, computation https
setting https » being https, writing https, feeding https
1
Publicado 2008
Table of Contents:
“... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2005
Table of Contents:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Ligazón do recurso
Electrónico
eBook
4
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicado 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Ligazón do recurso
Electrónico
eBook
5
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2008
Table of Contents:
“...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... for Upper Transition Operators -- An Empirical Comparison of Bayesian and Credal Set Theory for Discrete...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2010
Table of Contents:
“... with Degree of Optimism in Ranking Fuzzy Numbers -- Negation Functions in the Set of Discrete Fuzzy Numbers...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2006
Table of Contents:
“... Configurations on Finite Point Sets in the Plane -- Contributed Papers – Track A -- Normal and Feature...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2014
Table of Contents:
“... for Decision Aiding: An Overview -- Separation of Finitely Many Convex Sets and Data Pre-Classification...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“... Environment and its Comparison -- Ubiquitous Data Management in a Personal Information Environment...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2005
Table of Contents:
“... Backtransformation -- Cache-Oblivious Comparison-Based Algorithms on Multisets -- Oblivious vs. Distribution-Based...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2005
Table of Contents:
“...Expression -- Spectral Clustering Gene Ontology Terms to Group Genes by Function -- Dynamic De-Novo...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2012
Table of Contents:
“... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2010
Table of Contents:
“... Models of Epistasis -- Partial Orderings for Ranking Help Functions -- Robust Prediction with ANNBFIS...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2010
Table of Contents:
“...-Seeded Region Growing -- A Level Set Segmentation Method of the Four Heart Cavities in Pediatric...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2008
Table of Contents:
“... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2010
Table of Contents:
“... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”Ligazón do recurso
Electrónico
eBook