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
programs time » programs timber, programs t.e, programs type
setting https » being https, writing https, feeding https
time https » crime https
functionality setting » functionality testing, functionality securing, functional setting
https functionality » its functionality, bags functionality, cross functionality
programs time » programs timber, programs t.e, programs type
setting https » being https, writing https, feeding https
time https » crime https
1
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... V Time Series Analysis: On the Use of PLS Regression for Forecasting Large Sets of Cointegrated...”View full text
Electronic
eBook
6
Table of Contents:
“...Lyapunov and Lyapunov-like functions -- Convex sets and their representation -- Invariant sets...”
View full text
View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Functional Data Analysis and Its Application -- Evaluation of Pictogram Using Rough Sets -- A Logical...”View full text
Electronic
eBook
8
Table of Contents:
“...Preface -- Introduction -- Lyapunov and Lyapunov-like Function -- Convex Sets...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“... Chapters) -- Ch2 Time Series Analysis through AR Modeling (2.1 Univariate Time Series Analysis through AR...”
View full text
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Games Semantics of ASP -- Modular Answer Set Programming -- Universal Timed Concurrent Constraint...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
14
Table of Contents:
“...Uncertainty in Optimization.-Modeling Feasibility and Dynamics.-Modeling the Objective Function...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Circuits for Trees and Treelike Instances -- Language Emptiness of Continuous-Time Parametric Timed...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook