1
Published 2007
Table of Contents: ... -- Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs -- Querying and Repairing Inconsistent...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... equilibrium logic and dynamic logic -- ActHEX: Implementing HEX Programs with Action -- Debugging Answer-Set...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
4
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
5
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
6
Published 2005
Table of Contents: ... Keyword Search -- Intrusion Detection I -- A Probabilistic Method for Detecting Anomalous Program Behavior...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Applications of Web Information Systems -- An Improving Multi-Objective Particle Swarm Optimization...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Implementation of Uncertain Agents -- Subgoal Semantics in Agent Programming -- The Multi-team Formation...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... in Probabilistic Algorithms -- Inverted Lists Compression Using Contextual Information -- Hybrid Intelligent...
View full text
Electronic eBook
11
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
12
Published 2010
Table of Contents: ... Cryptanalysis of SOSEMANUK -- Security Management and Efficient Implementation -- Serial Model for Attack Tree...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ...Invited Talks -- National Security, Forensics and Mobile Communications -- Information Security...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Learning Program on Embedded Software Design with Collaboration Support Tools -- Multilingual Discussion...
View full text
Electronic eBook
15
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
16
Published 2013
Table of Contents: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... of Atomic Broadcast and Multicast in Wide Area Networks -- Detection of Disjunctive Normal Form Predicate...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... -- Practical Implementation of Super-Resolution Approach for SD-to-HD Video Up-Conversion -- Image Histogram...
View full text
Electronic eBook
19
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... in Isabelle/HOLCF -- Meta Reasoning in ACL2 -- Reasoning About Java Programs with Aliasing and Frame...
View full text
Electronic eBook