%{search_type} search results

• Historical and Philosphical Issues.- AI in the 21st Century - With Historical Reflections.- The Physical Symbol System Hypothesis: Status and Prospects.- Fifty Years of AI: From Symbols to Embodiment - and Back.-
• 2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years.- Evolutionary Humanoid Robotics: Past, Present and Future.- Philosophical Foundations of AI.- On the Role of AI in the Ongoing Paradigm Shift within the Cognitive Sciences.- Information Theory and Quantification.- On the Information Theoretic Implications of Embodiment - Principles and Methods.- Development Via Information Self-structuring of Sensorimotor Experience and Interaction.- How Information and Embodiment Shape Intelligent Information Processing.- Preliminary Considerations for a Quantitative Theory of Networked Embodied Intelligence.- A Quantitative Investigation into Distribution of Memory and Learning in Multi Agent Systems with Implicit Communications.- Morphology and Dynamics.- AI in Locomotion: Challenges and Perspectives of Underactuated Robots.- On the Task Distribution Between Control and Mechanical Systems.- Bacteria Integrated Swimming Microrobots.- Adaptive Multi-modal Sensors.- Neurorobotics.- What Can AI Get from Neuroscience?.- Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behavior.- Adaptive Behavior Control with Self-regulating Neurons.- Brain Area V6A: A Cognitive Model for an Embodied Artificial Intelligence.- The Man-Machine Interaction: The Influence of Artificial Intelligence on Rehabilitation Robotics.- Machine Intelligence, Cognition, and Natural Language Processing.- Tests of Machine Intelligence.- A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots.- Anticipation and Future-Oriented Capabilities in Natural and Artificial Cognition.- Computer-Supported Human-Human Multilingual Communication.- Human-Like Intelligence: Motivation, Emotions, and Consciousness.- A Paradigm Shift in Artificial Intelligence: Why Social Intelligence Matters in the Design and Development of Robots with Human-Like Intelligence.- Intrinsically Motivated Machines.- Curious and Creative Machines.- Applying Data Fusion in a Rational Decision Making with Emotional Regulation.- How to Build Consciousness into a Robot: The Sensorimotor Approach.- Robot Platforms.- A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI.- The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition.- Intelligent Mobile Manipulators in Industrial Applications:Experiences and Challenges.- Art and AI.- The Dynamic Darwinian Diorama: A Landlocked Archipelago Enhances Epistemology.
• (source: Nielsen Book Data)

This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed papers written by leading researchers in the field of Artificial Intelligence. The papers were carefully selected from the invited lectures given at the 50th Anniversary Summit of AI, held at the Centro Stefano Franscini, Monte Verita, Ascona, Switzerland, July 9-14, 2006. The summit provided a venue for discussions on a broad range of topics.
(source: Nielsen Book Data)

• Adaptive Website Design Using Caching Algorithms.- Incorporating Usage Information into Average-Clicks Algorithm.- Nearest-Biclusters Collaborative Filtering with Constant Values.- Fast Categorization of Web Documents Represented by Graphs.- Leveraging Structural Knowledge for Hierarchically-Informed Keyword Weight Propagation in the Web.- How to Define Searching Sessions on Web Search Engines.- Incorporating Concept Hierarchies into Usage Mining Based Recommendations.- A Random-Walk Based Scoring Algorithm Applied to Recommender Engines.- Towards a Scalable kNN CF Algorithm: Exploring Effective Applications of Clustering.- Detecting Profile Injection Attacks in Collaborative Filtering: A Classification-Based Approach.- Predicting the Political Sentiment of Web Log Posts Using Supervised Machine Learning Techniques Coupled with Feature Selection.- Analysis of Web Search Engine Query Session and Clicked Documents.- Understanding Content Reuse on the Web: Static and Dynamic Analyses.
• (source: Nielsen Book Data)

Web mining and usage is a fast-moving and hugely important field of study. This new Springer text constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Mining Web Data, WEBKDD 2006, held in Philadelphia, USA in 2006. The 13 revised full papers presented together with a detailed preface went through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. They cover a huge range of relevant topics.
(source: Nielsen Book Data)

• Invited Talks.- A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization.- Social Agents.- Globally Optimal Solutions to Vision Using Convex and Quasi-convex Optimization.- Machine Learning.- Efficient Learning of Bayesian Network Classifiers.- Mixture of the Robust L1 Distributions and Its Applications.- On Using a Hierarchy of Twofold Resource Allocation Automata to Solve Stochastic Nonlinear Resource Allocation Problems.- An Investigation into the Interaction Between Feature Selection and Discretization: Learning How and When to Read Numbers.- Safe State Abstraction and Reusable Continuing Subtasks in Hierarchical Reinforcement Learning.- Local Learning Algorithm for Markov Blanket Discovery.- A Novel Ordering-Based Greedy Bayesian Network Learning Algorithm on Limited Data.- New Options for Hoeffding Trees.- Neural Networks.- Avoiding Local Minima in Feedforward Neural Networks by Simultaneous Learning.- Some Analysis on the Network of Bursting Neurons: Quantifying Behavioral Synchronization.- Comparative Analysis of Multiple Neural Networks for Online Identification of a UAV.- Prediction of Polysomnographic Measurements.- Evolutionary Computing.- An Adaptive Approach for QoS-Aware Web Service Composition Using Cultural Algorithms.- A Genetic Programming Approach to Extraction of Glycan Motifs Using Tree Structured Patterns.- Feature Construction and Dimension Reduction Using Genetic Programming.- Adjusting Population Distance for the Dual-Population Genetic Algorithm.- Constraint Satisfaction.- An Improved Concurrent Search Algorithm for Distributed CSPs.- A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs.- Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT.- Satisfiability.- Advances in Local Search for Satisfiability.- Clone: Solving Weighted Max-SAT in a Reduced Search Space.- A CNF Formula Hierarchy over the Hypercube.- Planning as Satisfiability with Relaxed -Step Plans.- Automated Reasoning.- Forgetting in Logic Programs with Ordered Disjunction.- The `Majority' and `by Default' Modalities.- Restricted Higher-Order Anti-Unification for Analogy Making.- A Template Matching Table for Speeding-Up Game-Tree Searches for Hex.- Customizing Qualitative Spatial and Temporal Calculi.- Knowledge Discovery.- extraRelief: Improving Relief by Efficient Selection of Instances.- Constraint-Based Mining of Web Page Associations.- Does Multi-user Document Classification Really Help Knowledge Management?.- Not All Words Are Created Equal: Extracting Semantic Orientation as a Function of Adjective Relevance.- Robotics.- A Bio-inspired Method for Incipient Slip Detection.- TalkBack: Feedback from a Miniature Robot.- Social Intelligence.- Using Viewing Time for Theme Prediction in Cultural Heritage Spaces.- Collaborative Tagging in Recommender Systems.- Computational Imagination: Research Agenda.- Ontologies and Semantic Web.- An Upper Ontology for Event Classifications and Relations.- A Within-Frame Ontological Extension on FrameNet: Application in Predicate Chain Analysis and Question Answering.- Using Clustering for Web Information Extraction.- Natural Language Systems.- A Decision Tree Approach to Sentence Chunking.- The Semantic Representation of Temporal Expressions in Text.- Effectiveness of Methods for Syntactic and Semantic Recognition of Numeral Strings: Tradeoffs Between Number of Features and Length of Word N-Grams.- Using Automated Error Profiling of Texts for Improved Selection of Correction Candidates for Garbled Tokens.- Hypothesis Generation and Maintenance in the Interpretation of Spoken Utterances.- Knowledge Representation.- Temporal Extensions to Defeasible Logic.- Characterising Deadlines in Temporal Modal Defeasible Logic.- Dialogue Games in Defeasible Logic.- Implementing Iterated Belief Change Via Prime Implicates.- Expert Systems.- Applying MCRDR to a Multidisciplinary Domain.- Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization.- Applications of AI.- Tomographic Reconstruction of Images from Noisy Projections - A Preliminary Study.- Automated Intelligent Abundance Analysis of Scallop Survey Video Footage.- Multiple Classifier Object Detection with Confidence Measures.- Agent-Based Distributed Energy Management.- Adaptation Knowledge from the Case Base.- Building Classification Models from Microarray Data with Tree-Based Classification Algorithms.- MAUSA: Using Simulated Annealing for Guide Tree Construction in Multiple Sequence Alignment.- Short Papers.- A System for Modal and Deontic Defeasible Reasoning.- Time-Reversal in Conway's Life as SAT.- A Knowledge-Based Approach to Named Entity Disambiguation in News Articles.- Real-Time Scheduling for Non-crossing Stacking Cranes in an Automated Container Terminal.- The Detrimentality of Crossover.- Automatic Sapstain Detection in Processed Timber.- Structure-Sensitive Learning of Text Types.- A Comparison of Neural-Based Techniques Investigating Rotational Invariance for Upright People Detection in Low Resolution Imagery.- Multilevel Thresholding Method for Image Segmentation Based on an Adaptive Particle Swarm Optimization Algorithm.- Twin Kernel Embedding with Relaxed Constraints on Dimensionality Reduction for Structured Data.- Evaluation of Connectives Acquisition in a Humanoid Robot Using Direct Physical Feedback.- To Better Handle Concept Change and Noise: A Cellular Automata Approach to Data Stream Classification.- Categorizing Software Engineering Knowledge Using a Combination of SWEBOK and Text Categorization.- An Improved Probability Density Function for Representing Landmark Positions in Bearing-Only SLAM Systems.- Weight Redistribution for Unweighted MAX-SAT.- A HMM-Based Hierarchical Framework for Long-Term Population Projection of Small Areas.- Backbone of the p-Median Problem.- One Shot Associative Memory Method for Distorted Pattern Recognition.- Efficiently Finding Negative Association Rules Without Support Threshold.- A Data Mining Algorithm for Designing the Conventional Cellular Manufacturing Systems.- A Compromised Large-Scale Neighborhood Search Heuristic for Cargo Loading Planning.- Concurrent Temporal Planning Using Timed Petri Nets - Policy Evaluation.- Validation of a Reinforcement Learning Policy for Dosage Optimization of Erythropoietin.- Pixel-Based Colour Image Segmentation Using Support Vector Machine for Automatic Pipe Inspection.- An Approach to Spanish Subjunctive Mood in Japanese to Spanish Machine Translation.- Reasoning About Hybrid Systems Based on a Nonstandard Model.- Merging Algorithm to Reduce Dimensionality in Application to Web-Mining.- Human Behavior Analysis for Human-Robot Interaction in Indoor Environments.- Fitness Functions in Genetic Programming for Classification with Unbalanced Data.- Protein Structure Alignment Using Maximum Cliques and Local Search.- SMART: Structured Memory for Abstract Reasoning and Thinking.- An Efficient Segmentation Technique for Known Touching Objects Using a Genetic Algorithm Approach.- Elements of a Learning Interface for Genre Qualified Search.- A System for Acquisition of Noun Concepts from Utterances for Images Using the Label Acquisition Rules.- Branching Rules for Satisfiability Analysed with Factor Analysis.- Hybrid Methods to Select Informative Gene Sets in Microarray Data Classification.- An EM Algorithm for Independent Component Analysis Using an AR-GGD Source Model.- Bagging Support Vector Machine for Classification of SELDI-ToF Mass Spectra of Ovarian Cancer Serum Samples.- Class Association Rule Mining with Multiple Imbalanced Attributes.- DBSC: A Dependency-Based Subspace Clustering Algorithm for High Dimensional Numerical Datasets.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 20th Australian Joint Conference on Artificial Intelligence, AI 2007, held in Gold Coast, Australia, in December 2007.The 58 revised full papers and 40 revised short papers presented together with the extended abstracts of three invited speeches were carefully reviewed and selected from 194 submissions. The papers are organized in topical sections on a broad range of subjects.
(source: Nielsen Book Data)

• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency.- Note on Conditional Constructivity.- Symmetric MV-Algebras.- Implicit Operations in MV-Algebras and the Connectives of ?ukasiewicz Logic.- The Algebras of ?ukasiewicz Many-Valued Logic: A Historical Overview.- Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics.- Cantor-Bernstein Property for MV-Algebras.- A Note on Representing and Interpreting MV-Algebras.- Towards the Generalization of Mundici's ? Functor to IMTL Algebras: The Linearly Ordered Case.- Verification by Parallelization of Parametric Code.- Finitely Presented Abelian Lattice-Ordered Groups.- On Fuzzy Theories with Crisp Sentences.- Proof Transformations and Structural Invariance.- Renyi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops.- Notes on Strong Completeness in ?ukasiewicz, Product and BL Logics and in Their First-Order Extensions.- The Automorphism Group of Falsum-Free Product Logic.- Probability Theory on IF Events.
• (source: Nielsen Book Data)

Published in honor of Daniele Mundici on the occasion of his 60th birthday, the 17 revised papers of this Festschrift volume include invited extended versions of the most interesting contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held in Gargnano, Italy, in March 2006. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, it is the third volume of the FoLLI LNAI subline.
(source: Nielsen Book Data)

• Towards an Electronic Geometry Textbook.- Equidecomposable Quadratic Regions.- Automatic Verification of Regular Constructions in Dynamic Geometry Systems.- Recognition of Computationally Constructed Loci.- Algorithmic Search for Flexibility Using Resultants of Polynomial Systems.- Cylinders Through Five Points: Complex and Real Enumerative Geometry.- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method.- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems.- Mechanical Theorem Proving in Tarski's Geometry.- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons.- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System.- Constructing a Tetrahedron with Prescribed Heights and Widths.
• (source: Nielsen Book Data)

The papers in this volume show the lively variety of topics and methods in automated deduction in geometry, and their applicability to different branches of mathematics as well as to other sciences and technologies. The book is made up of the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in 2006. There are a total of 13 revised full papers selected from a number of submissions.
(source: Nielsen Book Data)

• Invited Talks.- Building Relationships and Negotiating Agreements in a Network of Agents.- Knowledge Technologies for the Social Semantic Desktop.- Knowledge-Based Intelligent Engineering Systems in Defence and Security.- Auditing and Mapping the Knowledge Assets of Business Processes - An Empirical Study.- Quotient Space Based Multi-granular Analysis.- Regular Papers.- An Ontology-Based Reasoning Framework for Reaction Mechanisms Simulation.- Identifying Dependency Between Secure Messages for Protocol Analysis.- A Diagrammatic Reasoning System for
• Fuzzy Constraint Logic Programming with Answer Set Semantics.- Prime Implicates for Approximate Reasoning.- Distributed Constraint Satisfaction for Urban Traffic Signal Control.- Convergence Analysis on Approximate Reinforcement Learning.- Combinative Reasoning with RCC5 and Cardinal Direction Relations.- A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements.- A Dynamic Description Logic for Representation and Reasoning About Actions.- An Argumentative Reasoning Service for Deliberative Agents.- On Defense Strength of Blocking Defeaters in Admissible Sets.- Ontology-Based Inference for Causal Explanation.- Predicting Partners' Behaviors in Negotiation by Using Regression Analysis.- Enhancing Web-Based Adaptive Learning with Colored Timed Petri Net.- Proof Explanation for the Semantic Web Using Defeasible Logic.- Automatic Construction of a Lexical Attribute Knowledge Base.- Populating CRAB Ontology Using Context-Profile Based Approaches.- Learning Dependency Model for AMP-Activated Protein Kinase Regulation.- Towards a Wrapper-Driven Ontology-Based Framework for Knowledge Extraction.- A Google-Based Statistical Acquisition Model of Chinese Lexical Concepts.- Learning Concepts from Text Based on the Inner-Constructive Model.- Contextual Proximity Based Term-Weighting for Improved Web Information Retrieval.- Collection Profiling for Collection Fusion in Distributed Information Retrieval Systems.- Integration of Descriptors for Software Component Retrieval.- Framework for Text-Based Conversational User-Interface for Business Applications.- Ontology Mining for Semantic Interpretation of Information Needs.- Knowledge Flow-Based Document Recommendation for Knowledge Sharing.- Finding Similar RSS News Articles Using Correlation-Based Phrase Matching.- Automatic Data Record Detection in Web Pages.- Visualizing Trends in Knowledge Management.- Constructing an Ontology for a Research Program from a Knowledge Science Perspective.- An Ontology of Problem Frames for Guiding Problem Frame Specification.- A Speaker Based Unsupervised Speech Segmentation Algorithm Used in Conversational Speech.- Distributed Knowledge Management Based on Ontological Engineering and Multi-Agent System Towards Semantic Interoperation.- WTPMiner: Efficient Mining of Weighted Frequent Patterns Based on Graph Traversals.- Development of Enhanced Data Mining System to Approximate Empirical Formula for Ship Design.- Research on a Novel Word Co-occurrence Model and Its Application.- Cost-Time Sensitive Decision Tree with Missing Values.- Knowledge in Product and Performance Support.- What Drives Members to Continue Sharing Knowledge in a Virtual Professional Community? The Role of Knowledge Self-efficacy and Satisfaction.- MMFI_DSSW - A New Method to Incrementally Mine Maximal Frequent Itemsets in Transaction Sensitive Sliding Window.- Short Papers.- Term Consistency Checking of Ontology Model Based on Description Logics.- Design and Realization of Advertisement Promotion Based on the Content of Webpage.- Irregular Behavior Recognition Based on Two Types of Treading Tracks Under Particular Scenes.- Ontology-Based Focused Crawling of Deep Web Sources.- Pattern Recognition in Stock Data Based on a New Segmentation Algorithm.- HMM-Based Korean Named Entity Recognition for Information Extraction.- Activity Recognition Based on Hidden Markov Models.- Novel Data Management Algorithms in Peer-to-Peer Content Distribution Networks.- On-Line Monitoring and Diagnosis of Failures Using Control Charts and Fault Tree Analysis (FTA) Based on Digital Production Model.- An Improved NN-SVM Based on K Congener Nearest Neighbors Classification Algorithm.- Handling Contradictions in Default Theories.- Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time.- Typed Category Theory-Based Micro-view Emergency Knowledge Representation.- A Chinese Time Ontology.- Toward Patterns for Collaborative Knowledge Creation.- Service-Mining Based on Knowledge and Customer Databases.- A Multi-criteria Decision Support System of Water Resource Allocation Scenarios.- Goedel, Escher, Bach and Super-expertise.- Extracting Features for Verifying WordNet.- A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network.- A WSMO-Based Semantic Web Services Discovery Framework in Heterogeneous Ontologies Environment.- Cardinal Direction Relations in 3D Space.- Knowledge Integration on Fresh Food Management.- An Approach to Knowledge Transferring in Science-Policy Process.- Trust Analysis of Web Services Based on a Trust Ontology.- Building Bilingual Ontology from WordNet and Chinese Classified Thesaurus.- An Ontology-Based Framework for Building Adaptable Knowledge Management Systems.- Knowledge Engineering Technique for Cluster Development.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and Management, KSEM 2007, held in Melbourne, Australia, in November 2007. The 42 revised full papers and 28 revised short papers presented together with five invited talks were carefully reviewed and selected. The papers provide new ideas and report research results in the broad areas of knowledge science, knowledge engineering, and knowledge management.
(source: Nielsen Book Data)

• Invited Papers.- Exploring the Vast Parameter Space of Multi-Agent Based Simulation.- Applications of Agent Based Simulation.- Empirical Cross Studies.- Analyzing Dynamics of Peer-to-Peer Communication -From Questionnaire Surveys to Agent-Based Simulation.- Modeling Human Education Data: From Equation-Based Modeling to Agent-Based Modeling.- Experimental Ecology.- Contrasting a System Dynamics Model and an Agent-Based Model of Food Web Evolution.- Roost Size for Multilevel Selection of Altruism Among Vampire Bats.- Experimental Economics.- Tactical Exploration of Tax Compliance Decisions in Multi-agent Based Simulation.- Learning to Use a Perishable Good as Money.- Foundations and Methodologies.- A Holonic Approach to Model and Deploy Large Scale Simulations.- Concurrent Modeling of Alternative Worlds with Polyagents.- Learning.- Integrating Learning and Inference in Multi-agent Systems Using Cognitive Context.- Can Agents Acquire Human-Like Behaviors in a Sequential Bargaining Game? - Comparison of Roth's and Q-Learning Agents -.- Social Dependence.- Quantifying Degrees of Dependence in Social Dependence Relations.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed proceedings of the 7th International Workshop on Multi-Agent-Based Simulation, MABS 2006. This was held in Hakodate, Japan, May 8, 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with three short papers and two invited papers were carefully reviewed and selected from 25 submissions during two rounds of reviewing.
(source: Nielsen Book Data)

• 1 - Second General Artificial Intelligence Workshop (GAIW 2007).- Towards Tractable Local Closed World Reasoning for the Semantic Web.- Optimal Brain Surgeon for General Dynamic Neural Networks.- Answer-Set Programming Based Dynamic User Modeling for Recommender Systems.- Application of Logic Wrappers to Hierarchical Data Extraction from HTML.- Relaxing Feature Selection in Spam Filtering by Using Case-Based Reasoning Systems.- Goedel and Computability.- Prospective Logic Agents.- An Iterative Process for Building Learning Curves and Predicting Relative Performance of Classifiers.- Modelling Morality with Prospective Logic.- Change Detection in Learning Histograms from Data Streams.- Real-Time Intelligent Decision Support System for Bridges Structures Behavior Prediction.- Semi-fuzzy Splitting in Online Divisive-Agglomerative Clustering.- On the Use of Rough Sets for User Authentication Via Keystroke Dynamics.- The Halt Condition in Genetic Programming.- Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives.- 2 - First Workshop on AI Applications for Sustainable Transportation Systems (AIASTS 2007).- Nonlinear Models for Determining Mode Choice.- Adaptation in Games with Many Co-evolving Agents.- 3 - Third Workshop on Artificial Life and Evolutionary Algorithms (ALEA 2007).- Symmetry at the Genotypic Level and the Simple Inversion Operator.- A Genetic Programming Approach to the Generation of Hyper-Heuristics for the Uncapacitated Examination Timetabling Problem.- Asynchronous Stochastic Dynamics and the Spatial Prisoner's Dilemma Game.- Improving Evolutionary Algorithms with Scouting.- Stochastic Barycenters and Beta Distribution for Gaussian Particle Swarms.- Exploiting Second Order Information in Computational Multi-objective Evolutionary Optimization.- 4 - First Workshop on Ambient Intelligence Technologies and Applications (AMITA 2007).- Ambient Intelligence - A State of the Art from Artificial Intelligence Perspective.- Ubiquitous Ambient Intelligence in a Flight Decision Assistance System.- Argumentation-Based Decision Making in Ambient Intelligence Environments.- Intelligent Mixed Reality for the Creation of Ambient Assisted Living.- Medical Imaging Environment - A Multi-Agent System for a Computer Clustering Based Multi-display.- 5 - Second Workshop on Building and Applying Ontologies for the Semantic Web (BAOSW 2007).- Partial and Dynamic Ontology Mapping Model in Dialogs of Agents.- Using Ontologies for Software Development Knowledge Reuse.- 6 - First Workshop on Business Intelligence (BI 2007).- Analysis of the Day-of-the-Week Anomaly for the Case of Emerging Stock Market.- A Metamorphosis Algorithm for the Optimization of a Multi-node OLAP System.- Experiments for the Number of Clusters in K-Means.- A Network Algorithm to Discover Sequential Patterns.- Adaptive Decision Support for Intensive Care.- A Tool for Interactive Subgroup Discovery Using Distribution Rules.- Quantitative Evaluation of Clusterings for Marketing Applications: A Web Portal Case Study.- Resource-Bounded Fraud Detection.- 7 - First Workshop on Computational Methods in Bioinformatics and Systems Biology (CMBSB 2007).- System Stability Via Stepping Optimal Control: Theory and Applications.- Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains.- Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT.- 8 - Second Workshop on Intelligent Robotics (IROBOT 2007).- An Omnidirectional Vision System for Soccer Robots.- Generalization and Transfer Learning in Noise-Affected Robot Navigation Tasks.- Heuristic Q-Learning Soccer Players: A New Reinforcement Learning Approach to RoboCup Simulation.- Human Robot Interaction Based on Bayesian Analysis of Human Movements.- Understanding Dynamic Agent's Reasoning.- 9 - Fourth Workshop on Multi-agent Systems: Theory and Applications (MASTA 2007).- Convergence of Independent Adaptive Learners.- Multi-agent Learning: How to Interact to Improve Collective Results.- A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems.- Intelligent Farmer Agent for Multi-agent Ecological Simulations Optimization.- Tax Compliance Through MABS: The Case of Indirect Taxes.- 10 - First Workshop on Search Techniques for Constraint Satisfaction (STCS 2007).- Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection.- GRASPER.- 11 - Second Workshop on Text Mining and Applications (TEMA 2007).- Text Segmentation Using Context Overlap.- Automatic Extraction of Definitions in Portuguese: A Rule-Based Approach.- N-Grams and Morphological Normalization in Text Classification: A Comparison on a Croatian-English Parallel Corpus.- Detection of Strange and Wrong Automatic Part-of-Speech Tagging.- New Techniques for Relevant Word Ranking and Extraction.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, held in Guimaraes, Portugal, in December 2007 as eleven integrated workshops. The 58 revised full papers presented were carefully reviewed and selected from a total of 210 submissions. In accordance with the eleven constituting workshops, the papers are organized in topical sections on a broad range of subjects.
(source: Nielsen Book Data)

• Foundations.- A Logic for Knowledge, Correctness, and Real Time.- Dynamic Logic for Plan Revision in Intelligent Agents.- Contextual Taxonomies.- From Logic Programs Updates to Action Description Updates.- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs.- Architectures.- Declarative Agent Control.- Metareasoning for Multi-agent Epistemic Logics.- Graded BDI Models for Agent Architectures.- Interaction.- Inferring Trust.- Coordination Between Logical Agents.- A Computational Model for Conversation Policies for Agent Communication.- Verifying Protocol Conformance for Logic-Based Communicating Agents.- Planning and Applications.- An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report.- Planning Partially for Situated Agents.- Desire-Space Analysis and Action Selection for Multiple Dynamic Goals.- Organising Software in Active Environments.
• (source: Nielsen Book Data)

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29-30, 2004.We, asorganizers, andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions - a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti -agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.
(source: Nielsen Book Data)

• Invited Papers.- What Is at Stake in the Controversy over Conditionals.- Reflections on Logic and Probability in the Context of Conditionals.- Acceptance, Conditionals, and Belief Revision.- Regular Papers.- Getting the Point of Conditionals: An Argumentative Approach to the Psychological Interpretation of Conditional Premises.- Projective Default Epistemology.- On the Logic of Iterated Non-prioritised Revision.- Assertions, Conditionals, and Defaults.- A Maple Package for Conditional Event Algebras.- Conditional Independences in Gaussian Vectors and Rings of Polynomials.- Looking at Probabilistic Conditionals from an Institutional Point of View.- There Is a Reason for Everything (Probably): On the Application of Maxent to Induction.- Completing Incomplete Bayesian Networks.
• (source: Nielsen Book Data)

Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships, physical laws, and social norms. On the other hand, as default rules or general implications, they constitute a basic tool for reasoning, even in the presence of uncertainty. In this sense, conditionals are intimately connected both to information and inference. Due to their non-Boolean nature, however, conditionals are not easily dealt with. They are not simply true or false - rather, a conditional "if A then B" provides a context, A, for B to be plausible (or true) and must not be confused with "A entails B" or with the material implication "not A or B." This ill- trates how conditionals represent information, understood in its strict sense as reduction of uncertainty. To learn that, in the context A, the proposition B is plausible, may reduce uncertainty about B and hence is information. The ab- ity to predict such conditioned propositions is knowledge and as such (earlier) acquired information. The ?rst work on conditional objects dates back to Boole in the 19th c- tury, and the interest in conditionals was revived in the second half of the 20th century, when the emerging Arti?cial Intelligence made claims for appropriate formaltoolstohandle"generalizedrules."Sincethen, conditionalshavebeenthe topic of countless publications, each emphasizing their relevance for knowledge representation, plausible reasoning, nonmonotonic inference, and belief revision.
(source: Nielsen Book Data)

• Infrastructure and Requirements for Building Research-Grade Multi-Agent Systems.- MAS Infrastructure Definitions, Needs, and Prospects.- Tools for Developing and Monitoring Agents in Distributed Multi-agent Systems.- Agora: An Infrastructure for Cooperative Work Support in Multi-Agent Systems.- Sensible Agent Testbed Infrastructure for Experimentation.- The MadKit Agent Platform Architecture.- An Architecture for Modeling Internet-based Collaborative Agent Systems.- Frameworks for Reasoning about Agent Based System.- Integrating High-Level and Detailed Agent Coordination into a Layered Architecture.- Adaptive Infrastructures for Agent Integration.- RoboCup Soccer Server and CMUnited: Implemented Infrastructure for MAS Research.- An Agent Infrastructure to Build and Evaluate Multi-Agent Systems: The Java Agent Framework and Multi-Agent System Simulator.- Design-to-Criteria Scheduling: Real-Time Agent Control.- Integrating Conversational Interaction and Constraint Based Reasoning in an Agent Building Shell.- An Enabling Environment for Engineering Cooperative Agents.- Agent Mobility and Reification of Computational State: An Experiment in Migration.- As Strong as Possible Agent Mobility.- An Architecture for Adaptive Web Stores.- Performance Issues and Infrastructure Scalability in Building Multi-Agent Systems.- A Performance Analysis Framework for Mobile Agent Systems.- A Layered Agent Template for Enterprise Computing.- A Community of Agents for User Support in a Problem-Solving Environment.- Scalable Mobile Agents Supporting Dynamic Composition of Functionality.- A Formal Development and Validation Methodology Applied to Agent-Based Systems.- A Proposal for Meta-learning through a MAS (Multi-agent System).- Scalability Metrics and Analysis of Mobile Agent Systems.- Improving the Scalability of Multi-agent Systems.- Mobile Agents for Distributed Processing.- Scalability of a Transactional Infrastructure for Multi-Agent Systems.- Towards a Scalable Architecture for Knowledge Fusion.- Towards Validation of Specifications by Simulation.- Open Source, Standards and Scaleable Agencies.- Infrastructure Issues and Themes for Scalable Multi-agent Systems.
• (source: Nielsen Book Data)

Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, and module integration technologies and as such constitutes a great challenge to the individual researcher active in the area. The book presents a collection of papers on approaches that will help make deployed and large scale multi-agent systems a reality. The first part focuses on available infrastructure and requirements for constructing research-grade agents and multi-agent systems. The second part deals with support in infrastructure and software development methods for multi-agent systems that can directly support coordination and management of large multi-agent communities; performance analysis and scalability techniques are needed to promote deployment of multi-agent systems to professionals in software engineering and information technology.
(source: Nielsen Book Data)

• Part I: Overview.- Part II: Determinants of the IS Outsourcing Decision.- Part III: Outsourcing Relationship Issues.- Part IV: Experiences and Outcome of IS Outsourcing.- Part V: Vendor View and Individual Level Perspective.- Part VI: Application Service Providing and Business Process Outsourcing.- VII: Offshoring and Global-Outsourcing.
• (source: Nielsen Book Data)

The notion of outsourcing - making arrangements with an external entity for the provision of goods or services to supplement or replace internal efforts - has been around for centuries. The outsourcing of information systems (IS) is, however, a much newer concept, but one which has been growing dramatically. This book attempts to synthesize what is known about IS outsourcing by dividing the subject into six interrelated parts: determinants of outsourcing, relationship issues, user experiences, vendor and individual perspectives, application service providing, and offshoring. The book should be of interest to all academics and students in the field of Information Systems as well as corporate executives and professionals who seek a more profound analysis and understanding of the underlying factors and mechanisms of outsourcing.
(source: Nielsen Book Data)

• Lifescience and Biotechnological Applications for Data Mining.- Prototypes for Medical Case-Based Applications.- Hopfield Networks in Relevance and Redundancy Feature Selection Applied to Classification of Biomedical High-Resolution Micro-CT Images.- Modelling Medical Time Series Using Grammar-Guided Genetic Programming.- Data Mining with Neural Networks for Wheat Yield Prediction.- Experiences Using Clustering and Generalizations for Knowledge Discovery in Melanomas Domain.- Noisy Image Segmentation by a Robust Clustering Algorithm Based on DC Programming and DCA.- An Application for Electroencephalogram Mining for Epileptic Seizure Prediction.- An Infrastructure for Mining Medical Multimedia Data.- Realizing Modularized Knowledge Models for Heterogeneous Application Domains.- Clustering and Classification.- GEP-Induced Expression Trees as Weak Classifiers.- Projection with Double Nonlinear Integrals for Classification.- Local Modelling in Classification.- Improving Imbalanced Multidimensional Dataset Learner Performance with Artificial Data Generation: Density-Based Class-Boost Algorithm.- CPL Clustering with Feature Costs.- Association Rule Mining.- Relative Linkage Disequilibrium: A New Measure for Association Rules.- Weighted Association Rule Mining from Binary and Fuzzy Data.- E-Mail, WebMining.- A Comparative Impact Study of Attribute Selection Techniques on Naive Bayes Spam Filters.- The Impact of Noise in Spam Filtering: A Case Study.- Designing Specific Weighted Similarity Measures to Improve Collaborative Filtering Systems.- Browsing Assistance Service for Intranet Information Systems.- WebAngels Filter: A Violent Web Filtering Engine Using Textual and Structural Content-Based Analysis.- Mining Unexpected Web Usage Behaviors.- Information Retrieval.- Generalized Graph Matching for Data Mining and Information Retrieval.- Industrial Applications.- Contrast-Set Mining of Aircraft Accidents and Incidents.- Using Data Mining to Build Integrated Discrete Event Simulations.- Control Charts of Workflows.- Frequent Item Set, Sequence Mining.- Maximum Margin Active Learning for Sequence Labeling with Different Length.- An Efficient Similarity Searching Algorithm Based on Clustering for Time Series.- Efficient String Mining under Constraints Via the Deferred Frequency Index.- Aspects of Data Mining.- Autonomous Forex Trading Agents.- An Exploration into the Power of Formal Concept Analysis for Domestic Violence Analysis.- Leatherbacks Matching by Automated Image Recognition.
• (source: Nielsen Book Data)

ICDM / MLDM Medaillie (limited edition) Meissner Porcellan, the "White Gold" of King August the Strongest of Saxonia ICDM 2008 was the eighth event of the Industrial Conference on Data Mining held in Leipzig (www.data-mining-forum.de). For this edition the Program Committee received 116 submissions from 20 countries. After the peer-review process, we accepted 36 high-quality papers for oral presentation, which are included in these proceedings. The topics range from aspects of classification and prediction, clustering, Web mining, data mining in medicine, applications of data mining, time series and frequent pattern mining, and association rule mining. Thirteen papers were selected for poster presentations that are published in the ICDM Poster Proceeding Volume. In conjunction with ICDM there were three workshops focusing on special hot application-oriented topics in data mining. The workshop Data Mining in Life Science DMLS 2008 was held the third time this year and the workshop Data Mining in Marketing DMM 2008 ran for the second time this year. Additionally, we introduced an International Workshop on Case-Based Reasoning for Multimedia Data CBR-MD.
(source: Nielsen Book Data)

• Invited Talks (Abstracts).- State Abstraction in Real-Time Heuristic Search.- Abstraction and Reformulation in the Generation of Constraint Models.- A Framework for Integrating Optimization and Constraint Programming.- Research Papers.- DFS-Tree Based Heuristic Search.- Partial Pattern Databases.- CDB-PV: A Constraint Database-Based Program Verifier.- Generating Implied Boolean Constraints Via Singleton Consistency.- Reformulating Constraint Satisfaction Problems to Improve Scalability.- Reformulating Global Constraints: The Slide and Regular Constraints.- Relaxation of Qualitative Constraint Networks.- Dynamic Domain Abstraction Through Meta-diagnosis.- Channeling Abstraction.- Approximate Model-Based Diagnosis Using Greedy Stochastic Search.- Combining Perimeter Search and Pattern Database Abstractions.- Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic.- Tailoring Solver-Independent Constraint Models: A Case Study with Essence? and Minion.- A Meta-CSP Model for Optimal Planning.- Reformulation for Extensional Reasoning.- An Abstract Theory and Ontology of Motion Based on the Regions Connection Calculus.- Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning.- Model-Based Exploration in Continuous State Spaces.- Active Learning of Dynamic Bayesian Networks in Markov Decision Processes.- Boosting MUS Extraction.- Homogeneous Hierarchical Composition of Areas in Multi-robot Area Coverage.- Formalizing the Abstraction Process in Model-Based Diagnosis.- Boolean Approximation Revisited.- An Analysis of Map-Based Abstraction and Refinement.- Solving Difficult SAT Instances Using Greedy Clique Decomposition.- Abstraction and Complexity Measures.- Research Summaries.- Abstraction, Emergence, and Thought.- What's Your Problem? The Problem of Problem Definition.- A Reformulation-Based Approach to Explanation in Constraint Satisfaction.- Integration of Constraint Programming and Metaheuristics.- Rule-Based Reasoning Via Abstraction.- Extensional Reasoning.- Reformulating Constraint Models Using Input Data.- Using Analogy Discovery to Create Abstractions.- Distributed CSPs: Why It Is Assumed a Variable per Agent?.- Decomposition of Games for Efficient Reasoning.- Generalized Constraint Acquisition.- Using Infeasibility to Improve Abstraction-Based Heuristics.- Leveraging Graph Locality Via Abstraction.
• (source: Nielsen Book Data)

This is a subject that is as hot as a snake in a wagon rut, offering as it does huge potentiality in the field of computer programming. That's why this book, which constitutes the refereed proceedings of the 7th International Symposium on Abstraction, Reformulation, and Approximation, held in Whistler, Canada, in July 2007, will undoubtedly prove so popular among researchers and professionals in relevant fields. 26 revised full papers are presented, together with the abstracts of 3 invited papers and 13 research summaries.
(source: Nielsen Book Data)

• Main Track: Methodological Aspects of Agent Systems.- On the Integration of Agent-Based and Mathematical Optimization Techniques.- Building Agent Service Oriented Multi-Agent Systems.- Agent-Based Approach for LabVIEW Developed Distributed Control Systems.- Pr : A Belief Description Logic.- Reinforcement Learning on a Futures Market Simulator.- The Effects of Agent Synchronization in Asynchronous Search Algorithms.- Modelling Social Attitudes of Agents.- Modeling the Activity of a Multiagent System with Evolving Metadata.- Software Component Selection Algorithm Using Intelligent Agents.- A Methodology to Specify Multiagent Systems.- A Stochastic Process Model for Daily Travel Patterns and Traffic Information.- Using Data Mining Algorithms for Statistical Learning of a Software Agent.- Expressivity of STRIPS-Like and HTN-Like Planning.- Implementation and Performance Evaluation of the Agent-Based Algorithm for ANN Training.- Agent-Based Discovery Middleware Supporting Interoperability in Ubiquitous Environments.- Performance of Fast TCP in Multi-agent Systems.- Manipulating Paraconsistent Knowledge in Multi-agent Systems.- Consensus-Based Evaluation Framework for Cooperative Information Retrieval Systems.- Hierarchy of Logics of Irrational and Conflicting Agents.- Stratified Multi-agent HTN Planning in Dynamic Environments.- Main Track: Agent-oriented Web Applications.- WSrep: A Novel Reputation Model for Web Services Selection.- Performance Evaluation of Mobile Agents for Knowledge-Based Web Information Services.- An Agent Based Method for Web Page Prediction.- X-Binder: Path Combining System of XML Documents Based on RDBMS.- A Digital TV Agent System for Broadcast and Web Information Hybrid.- Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra.- Wiki-News Interface Agent Based on AIS Methods.- Retrieving Geospatial Information into a Web-Mapping Application Using Geospatial Ontologies.- MWING: A Multiagent System for Web Site Measurements.- Application of Agent-Based Personal Web of Trust to Local Document Ranking.- Main Track: Mobility Aspects of Agent Systems and Ontology Management.- Non-repudiation Mechanism of Agent-Based Mobile Payment Systems: Perspectives on Wireless PKI.- Agent-Based Data Compression Supporting Knowledge Discovery in Mobile Environment.- eMARP: Enhanced Mobile Agent for RFID Privacy Protection and Forgery Detection.- Ontology Agent Based Rule Base Fuzzy Cognitive Maps.- OWL-DL Based Ontology Inference Engine Assessment for Context-Aware Services.- Main Track: Multi-agent Resource Allocation.- Multi-resource Load Optimization Strategy in Agent-Based Systems.- Online Network Resource Management for QoS-Sensitive Multimedia Services.- A Resource Discovery Method Based on Multi-agents in P2P Systems.- Agent Based Dynamic Data Storage and Distribution in Data Warehouses.- Semantic Data Integration in P2P Environment Using Schema Mappings and Agent Technology.- Intelligent Resource Allocation-Solutions and Pathways in a Workforce Planning Problem.- A Multi-agent Architecture for Designing and Simulating Large Scale Wireless Systems Resource Allocation.- Main Track: Negotiating Agents.- Towards an Agent-Based Negotiation Platform for Cooperative Decision-Making in Construction Supply Chain.- A Model for Informed Negotiating Agents.- Power in Norm Negotiation.- Quantitative Analysis of Single-Level Single-Mediator Multi-agent Systems.- Software Agent Negotiation for Service Composition.- Main Track: Agents for Network Management.- A Misuse Detection Agent for Intrusion Detection in a Multi-agent Architecture.- An Agent System for Bandwidth Allocation in Reservation-Based Networks Using Evolutionary Computing and Vickrey Auctions.- Multiagent Approach to Network Traffic Anomalies Uncertainty Level Assessment in Distributed Intrusion Detection System.- An Algorithm for Loopless Optimum Paths Finding Agent System and Its Application to Multimodal Public Transit Network.- A Channel Sounding Scheme of MIMO-OFDM System for Intelligent Area Network.- Wireless Intelligent LBT Agents for Common Frequency Band Efficiency.- Verification of Mobile Agent Network Simulator.- The Study of Multi-agent Network Flow Architecture for Application Performance Evaluation.- Main Track: Agent Approaches to Robotic Systems.- Robotic Agent Control Based on Adaptive Intelligent Algorithm in Ubiquitous Networks.- Saving Energy Consumption of Multi-robots Using Higher-Order Mobile Agents.- A Plan-Based Control Architecture for Intelligent Robotic Agents.- Remarks on Behaviours Programming of the Interactive Therapeutic Robot Koala Based on Fuzzy Logic Techniques.- Design of Admissible Schedules for AGV Systems with Constraints: A Logic-Algebraic Approach.- Main Track: Market Agents and other Applications.- Design and Implementation of Efficient Directory Facilitator for Context-Aware Service Discovery.- The CrocodileAgent: Designing a Robust Trading Agent for Volatile E-Market Conditions.- A Study to Apply Intelligent Agents for B2C Shopping Mall.- Password-Only Authenticated Key Exchange Between Two Agents in the Four-Party Setting.- Diagnostic Knowledge Acquisition for Agent-Based Medical Applications.- Remote Control Multi-Agent System for u-Healthcare Service.- A Block Based Moving Object Detection Utilizing the Distribution of Noise.- Multi-Agent System for Hierarchical Control with Self-organising Database.- Doctoral Track.- Water Floating Self-assembling Agents.- Failure Detection Service for Large Scale Systems.- Container Handling Using Multi-agent Architecture.- Distributed Code and Data Propagation Algorithm for Longest Common Subsequence Problem Solving.- Special Session: Mobile Agent Application and its Development.- Design and Evaluation of a Converting Patching Agent for VOD Services.- A Self-organizing Cluster Agent for Routing Algorithm in Wireless Sensor Networks.- Design of Intelligence Mobile Agent Lifecycle for the Progress Management and Mobile Computing.- An Agent Environment for Contextualizing Folksonomies in a Triadic Context.- Design of Knowledge Discovery Agent for a Bit-Map on Ad Hoc Mobile Networks.- Mobile Collaboration Framework for u-Healthcare Agent Services and Its Application Using PDAs.- Developing Load Balancing System for RFID Middlewares Using Mobile Agent Technology.- Design Agent for the Reliable Web Security Requirement Control.- Design and Implementation of an Intelligent Robot Agent System Considering the Server's Workload.- WANT: A Personal Knowledge Management System on Social Software Agent Technologies.- Mobile Agents Using Data Mining for Diagnosis Support in Ubiquitous Healthcare.- Agent-Based Approach to Distributed Ensemble Learning of Fuzzy ARTMAP Classifiers.- Framework for Data Aggregation and Insurance Service in Vehicle Telematics Using Multi-agents.- Special Session: Agent on Networked Media and Its Applications on Next-Generation Convergence Network (ANM07).- Business Model and Comparasion of S/W Source Code vs. Digital License for IPRs.- PKG-MIB: Private-Mib for Package-Based Linux Systems in a Large Scale Management Domain.- Performance of TPR*-Trees for Predicting Future Positions of Moving Objects in U-Cities.- Strategy of Positioning for LBS on U-Campus.- Indirect DiffServ QoS for SIP in Broadband Access Networks.- An Intelligent Positioning Scheme for Mobile Agents in Ubiquitous Networks for U-City.- A User Interface for Controlling Information Appliances in Smart Homes.- A Design of the Simulator for Web-Based Load Balancing.- Remote Control of Smart Homes Using Korean Natural Language Processing.- A VDS Based Traffic Accident Prediction Analysis and Future Application.- An Intelligent Diversity Scheme for Accurate Positioning of Mobile Agents for U-City.- A Relay-Transmission of the RFID Tag ID over the Wireless and TCP/IP with a Security Agent.- An Agent-Based Web Service Composition Using Semantic Information and QoS.- Special Session: Intelligent and Secure Agent for Digital Content Management.- Traffic Signal Planning Using a Smart Agent System.- Entity Based Message Authentication System.- The Design and Testing of Automated Signature Generation Engine for Worms Detection.- Data Conversion Agents Between Heterogeneous Using IC Information.- User Adaptive Game Characters Using Decision Trees and FSMs.- A Location-Aware Error Control Scheme of Route Multicast for Moving Agents.- Blur Detection of Digital Forgery Using Mathematical Morphology.- An Efficient Authentication Protocol for Low-Cost RFID Systems.- A Countermeasure of Fake Root Key Installation Using One-Time Hash Chain.- Proposal for a Ubiquitous Virtual Enterprise Reference Model on Next-Generation Convergence Network.- The Hiding of Secret Data Using the Run Length Matching Method.- Agent-Based Connection Control for Digital Content Service.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the First International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, KES-AMSTA 2007, held in Wroclaw, Poland in May/June 2007. Coverage includes agent-oriented Web applications, mobility aspects of agent systems, agents for network management, agent approaches to robotic systems, as well as intelligent and secure agents for digital content management.
(source: Nielsen Book Data)