1
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs -- Querying and Repairing Inconsistent...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Integration, and Complexity Results -- The Nested List Normal Form for Functional and Multivalued Dependencies...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... with Imprecise Information in a Content Based Image Retrieval System -- An Extension of Stochastic Dominance...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... and Informative Clustering -- Emotion Recognition Using KNN Classification for User Modeling and Sharing of Affect...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...Cryptographic Hash Functions: Theory and Practice -- Cryptographic Hash Functions: Theory...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...
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 2007
Table of Contents: ... Algorithms -- When a Family of Iris Flower is Normal, Then are Others Abnormal? -- Strong Boolean Functions...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... ModOnions Protocol -- Secret Handshakes with Revocation Support -- Cryptanalysis of Hash Function...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Between Compressed Normal Maps and Rendered 3D Images -- Fast Adaptive Skin Detection in JPEG Images...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Issues for Information Fusion Applications -- A Regular Tetrahedron Formation Strategy for Swarm Robots...
View full text
Electronic eBook