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 generation » program execution
generation https » degeneration https, generation hts, generation helps
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 generation » program execution
generation https » degeneration https, generation hts, generation helps
setting https » being https, writing https, feeding https
1
Published 2005
Table of Contents:
“...Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Functional Data Analysis and Its Application -- Evaluation of Pictogram Using Rough Sets -- A Logical...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“...Part I Clustering Large Data-Sets: Clustering Large Data Set: An Applied Comparative Study (Bocci L...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”View full text
Electronic
eBook
7
Table of Contents:
“...Uncertainty in Optimization.-Modeling Feasibility and Dynamics.-Modeling the Objective Function...”
View full text
View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... -- Maximizing a Submodular Set Function Subject to a Matroid Constraint (Extended Abstract) -- Session 6 -- On a...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Handheld Haptic Interface -- A Multi-functional Rehabilitation Device to Assist Forearm/Wrist and Grasp...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...”View full text
Electronic
eBook
17
Table of Contents:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text
View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Modifications in Plant Responses to Environmental Stresses -- Setting the Stage for the Next Generation...”View full text
Electronic
eBook
19
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
20
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