InhaltsangabeSome Properties of Logic N-GLukG.- The Inverse Method for Many-Valued Logics.- A Parametric Interpolation Framework for First-Order Theories.- Dalal's Revision without Hamming Distance.- Default Assumptions and Selection Functions: A Generic Framework for Non-monotonic Logics.- Soft Constraints for Lexicographic Orders.- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals.- Completion-Based Automated Theory Exploration.- Possibilistic Minimal Models for Possibilistic Normal Programs.- Knowledge-Based Systems and Multi-Agent Systems Estimating the Number of Test Cases for Active Rule Validation.- A Dynamic Multi-Expert Multi-Criteria Decision Making Model for Risk Analysis.- An Architecture for Cognitive Modeling to Support Real-Time Adaptation and Motivational Responses in Video Games.- Semantic Representation of CAD Models Based on the IGES Standard.- Complexity of Verification of Fuzzy Multi-Agent Systems.- Using Activity Theory and Causal Diagrams for Designing MultiAgent Systems That Assist Human Activities.- Challenges in Ontology Alignment and Solution to the Contradictory Evidence Problem.- Simple Window Selection Strategies for the Simplified Lesk Algorithm for Word Sense Disambiguation.- Disambiguating Wikipedia Articles on the Basis of plWordNet Lexico-semantic Relations.- Recognising Compositionality of Multi-Word Expressions in the Wordnet Oriented Perspective.- Automatic Processing of Linguistic Data as a Feedback for Linguistic Theory.- Interval Semi-supervised LDA: Classifying Needles in a Haystack.- A Reverse Dictionary Based on Semantic Analysis Using WordNet.- Applying Rogerian Psychologist in Human-Computer Interaction: A Case Study.- HuLaPos 2.0 - Decoding Morphology.- Hybrid Text Segmentation for Hungarian Clinical Records.- Detection and Expansion of Abbreviations in Hungarian Clinical Notes.- Composite Event Indicator Processing in Event Extraction for Non-configurational Language.- Exploration of a Rich Feature Set for Automatic Term Extraction.- A Pseudo-Relevance Feedback Based Method to Find Comprehensive Web Documents.- Enhancing Sentence Ordering by Hierarchical Topic Modeling for Multi-document Summarization.- An Enhanced Arabic OCR Degraded Text Retrieval Model.- ELEXR: Automatic Evaluation of Machine Translation Using Lexical Relationships.- Modeling Persian Verb Morphology to Improve English-Persian Machine Translation.- An XML Based TBX Framework to Represent Multilingual SNOMED CT for Translation.- The Twin Hypotheses - Brain Code and the Fundamental Code Unit: Towards Understanding the Computational Primitive Elements of Cortical Computing.- Predicting Metabolic Syndrome with Neural Networks.- Homogeneous Population Solving the Minimal Perturbation Problem in Dynamic Scheduling of Surgeries.- CUP Classification Based on a Tree Structure with MiRNA Feature Selection.- Machine Learning Techniques Applied to the Cleavage Site Prediction Problem.- Human Heart Segmentation Based on Differential Evolution and Active Contours with Shape Prior.- Detection of Human Retina Images Suspect of Glaucoma through the Vascular Bundle Displacement in the Optic Disc.- Blood Vessel Segmentation in Retinal Images Using Lattice Neural Networks.- A Bayesian and Minimum Variance Technique for Arterial Lumen Segmentation in Ultrasound Imaging.- Detection of Masses in Mammogram Images Using Morphological Operators and Markov Random Fields.- A New Collection of Preprocessed Digital Mammograms.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg