Edizione	[1st ed. 2008.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica	1 online resource (XII, 384 p.)
Disciplina	005.12
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Software engineering Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management
ISBN	3-540-87603-0
Classificazione	54.10 DAT 550f SS 4800 004
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop.
Record Nr.	UNISA-996465278603316

Edizione	[1st ed. 2007.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Descrizione fisica	1 online resource (XIX, 772 p.)
Disciplina	004.35
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Software engineering Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science
ISBN	3-540-76837-8
Classificazione	004 DAT 250f SS 4800
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Talks -- Session 1 – Advanced Microprocessor Architecture -- Session 2 – Parallel Distributed System Architectures -- Session 3 – Grid Computing -- Session 4 – Interconnection Networks -- Session 5 – Network Protocols -- Session 6 – Pervasive and Mobile Computing Architectures -- Session 7 – Task Scheduling and Load Balancing -- Session 8 – Software Engineering -- Session 8 – Other Issues.
Record Nr.	UNISA-996465520703316

Edizione	[1st ed. 2009.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica	1 online resource (XV, 478 p.)
Disciplina	004n/a
Collana	Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico	Application software Education—Data processing User interfaces (Computer systems) Information storage and retrieval Data mining Education Information Systems Applications (incl. Internet) Computers and Education User Interfaces and Human Computer Interaction Information Storage and Retrieval Data Mining and Knowledge Discovery Education, general
Soggetto genere / forma	Aachen (2009) Kongress.
ISBN	3-642-03426-8
Classificazione	004 10 24,2 AL 40450 DAT 030f DAT 618f DAT 670f DP 1960 SS 4800
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Papers -- Personal Services: Debating the Wisdom of Personalisation -- On Social e-Learning -- Web-Based Learning – Yes We Can! -- Refereed Papers -- A Machine Learning Based Framework for Adaptive Mobile Learning -- PASS: Peer-ASSessment Approach for Modern Learning Settings -- Global Connections for Lasting Impressions: Experiential Learning about TCP -- The Pedagogical Dimension of Metadata for Learning Resources: The POEM Model -- A Parameterized Web-Based Testing Model for Project Management -- The EUCLIDES Enhancing the Use of Cooperative Learning to Increase DEvelopment of Science Studies Project – An On-Line Learning Portal Utilizing Problem-Based Learning -- Microblogging for Language Learning: Using Twitter to Train Communicative and Cultural Competence -- A Framework of Multimedia E-Learning Design for Engineering Training -- A Web 2.0 Personal Learning Environment for Classical Chinese Poetry -- Kinespell: Kinesthetic Learning Activity and Assessment in a Digital Game-Based Learning Environment -- Influence of Perceived Information Overload on Learning in Computer-Mediated Communication -- A Federated Authorization Service for Bridging Learning Object Distribution Models -- Far Away Yet Close: The Learning Strategy of a Transport Company -- Bridging the Gap: Adaptive Games and Student-Centered VLEs -- Understanding and Facilitating Student Bloggers: Towards a Blogging Activity Model -- Enhancing the Social Capital of Learning Communities by Using an Ad Hoc Transient Communities Service -- Learning Resources Organization Using Ontological Framework -- Social Reference Model for Adaptive Web Learning -- Semantic Evaluation Services for Web-Based Exercises -- Applying a Web and Simulation-Based System for Adaptive Competence Assessment of Spinal Anaesthesia -- Developing the 3D Adventure Game-Based Assessment System with Wii Remote Interaction -- Efficient Authoring of SCORM Courseware Adapted to User Learning Style: The Case of ProPer SAT -- An Evaluation of the Impact of E-Learning Media Formats on Student Perception and Performance -- Evaluating Pedagogy-Driven Design of IVA LMS with Activity Pattern Analysis -- Automatic Content Creation for Games to Train Students Distinguishing Similar Chinese Characters -- Integrating Learning Styles and Personality Traits into an Affective Model to Support Learner’s Learning -- A Three-Tier Profiling Framework for Adaptive e-Learning -- Sharing Good Practice through Mash-Up Personal Learning Environments -- What If Annotations Were Reusable: A Preliminary Discussion -- Toward an Integrated Competence-Based System Supporting Lifelong Learning and Employability: Concepts, Model, and Challenges -- Strengthening Web Based Learning through Software Quality Analysis -- User Evaluation of a Graphical Modeling Tool for IMS Learning Design -- Challenges for Blog Analysis and Possible Solutions -- Comparison of Learning Models to Build an Infrastructure for Performance Measurement of E-Learning Systems -- Online Platform Support for Sustained, Collaborative and Self-directed Engagement of Teachers in a Blended Professional Development Program -- Asynchronous Distance Education Forum - Brainstorming vs. Snowballing: A Case Study for Teaching in Programming Didactics -- Addressing Learning Style Criticism: The Unified Learning Style Model Revisited -- Evaluating the Impact of Adaptation to Learning Styles in a Web-Based Educational System -- Task Patterns as Means to Experience Sharing -- Effectively Managing and Processing Personal Learning Content -- Student Engagement with Peer Assessment: A Review of Pedagogical Design and Technologies -- Constructing the 2D Adventure Game-Based Assessment System -- Using the Social Web to Supplement Classical Learning -- If a Student Takes Control: Facilitator’s Tasks and Responsibilities -- Are Tags from Mars and Descriptors from Venus? A Study on the Ecology of Educational Resource Metadata -- Unit of Learning Model for LMS/LCMS Integrating Psycho-pedagogical Elements -- An English Vocabulary Learning System Based on Fuzzy Theory and Memory Cycle -- A Web-Based System for Visualizing and Analyzing Interaction Structure in Online Collaborative Learning -- Articles as Assignments – Modalities and Experiences of Wikipedia Use in University Courses -- Enhancing the Ability of Creative Expression and Intercultural Understanding through Visual Story -- A Meta-model Describing the Development Process of Mobile Learning -- A Web-Based Search Engine for Chinese Calligraphic Manuscript Images.
Record Nr.	UNISA-996465479503316

Edizione	[1st ed. 2011.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica	1 online resource (XVII, 821 p.)
Disciplina	006.3
Collana	Lecture Notes in Artificial Intelligence
Soggetto topico	Artificial intelligence Algorithms Application software Computers Information storage and retrieval Data mining Artificial Intelligence Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Computation by Abstract Devices Information Storage and Retrieval Data Mining and Knowledge Discovery
Soggetto genere / forma	Kongress2011.Perth (Westaustralien) Conference papers and proceedings.
Soggetto non controllato	AI
ISBN	3-642-25832-8
Classificazione	SS 4800 004 DAT 700f
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Intro -- Title page -- Preface -- Organization -- Table of Contents -- Session 1: Data Mining and Knowledge Discovery -- Guided Rule Discovery in XCS for High-Dimensional Classification Problems -- Introduction -- Background -- XCS Overview -- Related Work -- Model -- Experiments -- Data Sets -- Parameters -- Results -- Conclusions -- References -- Motif-Based Method for Initialization the K-Means Clustering for Time Series Data -- Introduction -- Background -- Dimensionality Reduction -- Clustering for Time Series Data -- locations are often termed the seeds for the k-Means algorithm.2.3 Time Series Motifs and the Brute-Force Algorithm for Finding Motifs -- The Proposed Clustering Method for Time Series Data -- How to Speed Up the Brute-Force Algorithm for Finding 1-Motifs -- How to Derive Initial Centers from Results of K-Means Clustering on 1-Motifs -- Experimental Evaluation -- Conclusions -- References -- Semi-Supervised Classification Using Tree-Based Self-Organizing Maps -- Introduction -- The Tree-Based Topology Oriented SOM -- The TTOSOM-Based Classifier -- Experimental Setup -- Results -- Conclusions -- References -- The Discovery and Use of Ordinal Information on Attribute Values in Classifier Learning -- Introduction -- Value of Ordinal Information -- Testing -- Results -- Discovering Orders -- Developing Methods -- Testing Order Discovery -- Random Orders for Ensemble Classifiers -- Conclusions and Further Work -- References -- Beyond Trees: Adopting MITI to Learn Rules and Ensemble Classifiers for Multi-Instance Data -- Introduction -- The MITI Algorithm -- Experimental Results -- MIRI: Using MITI to Learn Rule Sets -- Experimental Results -- Building Ensemble Classifiers -- Experimental Results -- Conclusions -- References -- Automatically Measuring the Quality of User Generated Content in Forums -- Introduction. Problem Definition -- UGCQ Assessment Model -- Experiment -- Datasets -- Feature Selection -- Performance Evaluation -- Post Quality Classification -- Results -- Friedman Test -- Nemenyi Test -- Discussion -- Related Work -- Conclusion -- References -- Genetically Enhanced Feature Selection of Discriminative Planetary Crater Image Features -- Introduction -- Related Work -- Genetically Enhanced Feature Selection -- Genetic Representation -- Wrapped Classifier Fitness Function -- Random Crossover -- Mutation -- Highest Fitness (Greedy) Selection -- Weighted Random Selection -- Weighted Random Selection with Simulated Annealing -- Complexity -- Experimental Results -- Conclusion -- References -- Penalized Least Squares for Smoothing Financial Time Series -- Introduction -- Current Methods -- Our Proposed Method -- Experiment Description -- Data -- Smoothness (Noise) Function -- Lag Function -- Cross Validation -- Results -- Conclusions -- References -- Logistic Regression with the Nonnegative Garrote -- Introduction -- Nonnegative Garrote -- Simulation -- Simulated Data -- Path Consistency -- Initial Estimates for the NNG -- Real Data -- Discussion and Recommendations -- References -- Identification of Breast Cancer Subtypes Using Multiple Gene Expression Microarray Datasets -- Introduction -- The Consensus Clustering Problem -- Objective Function -- The Genetic Algorithm -- The Breast Cancer Datasets -- Results -- Comparison with Existing Subtypes -- Conclusion -- References -- Combining Instantaneous and Time-Delayed Interactions between Genes - A Two Phase Algorithm Based on Information Theory -- Introduction -- Background -- Bayesian Network (BN) -- Dynamic Bayesian Network (DBN) -- Information Theoretic Quantities -- The Method -- The Framework for Representation -- Finding the Appropriate Search Strategy -- Finding the Intra-slice Arc Directions. Simulation and Results -- Synthetic Network -- Real-Life Biological Data -- Conclusion -- References -- A Sparse-Grid-Based Out-of-Sample Extension for Dimensionality Reduction and Clustering with Laplacian Eigenmaps -- Introduction -- Laplacian Eigenmaps and Spectral Clustering -- Sparse Grids -- Sparse-Grid-Based Out-of-Sample Extension -- Experiments -- Conclusion -- References -- Distribution Based Data Filtering for Financial Time Series Forecasting -- Introduction -- Related Work -- Distribution Based Samples Removing Algorithm -- Distance Value - Threshold Based Decision -- Distance Value - Percentage Based Decision -- Datasets -- Experiments -- Conclusion -- References -- Sequential Feature Selection for Classification -- Introduction -- Framework -- General Idea -- Sequential Classification -- Action Selection without Replacement -- Solving the POMDP -- Experiments and Discussion -- Handwritten MNIST Digit Classification -- Diabetes Dataset with Naive Bayes Classification -- Discussion -- Conclusion -- References -- Long-Tail Recommendation Based on Reflective Indexing -- Introduction -- Novelty as an Important Value of Long-Tail Recommendations -- Methodological Assumptions -- Contribution of the Paper -- Algebraic Model for PRI -- Modeling User-Item Dependencies as a Probability Space -- Reflective Data Processing -- The PRI Algorithm -- Evaluation -- Data Sets -- Recommendation Quality Evaluation -- Conclusions -- References -- Author Name Disambiguation for Ranking and Clustering PubMed Data Using NetClus -- Introduction -- Related Work -- The Challenges of Author Name Disambiguation on PubMed -- Related Work on Disambiguation of PubMed Authors -- A Multi-evidence Author Disambiguation System -- Disambiguation Using Organisation Names and Addresses -- Disambiguation Using Co-author Network -- Evaluation of the Disambiguation Technique. Accuracy of the Proposed Disambiguation Technique -- Evaluation of NetClus Results -- Conclusion and Future Work -- References -- Self-Organizing Maps for Translating Health Care Knowledge: A Case Study in Diabetes Management -- Introduction -- Background: Mining Diabetic Patient Data -- Application -- Chronic Disease Management (CDM) -- Chronic Disease Management Network (cdmNet) -- Chronic Disease Management Network - Business Intelligence (cdmNet-BI) Module -- The Self-Organizing Map (SOM) -- The Growing Self-Organizing Map (GSOM) -- Patterns in Diabetes Management -- Analysis of Features Common to Any Individual -- Analysis of Common Features with Diabetes Specific Medical Features -- Patterns Recognised from Diabetes Data: Outcomes -- Conclusions and Future Work -- References -- Distance-Based Feature Selection on Classification of Uncertain Objects -- Introduction -- Related Work -- Problem Definition -- UK-Means -- Supervised UK-Means -- Algorithms -- Averaging Approach -- Distribution-Based Approach -- Experimental Results -- Data Sets -- Performance Evaluation -- Conclusion -- References -- Session 2: Machine Learning -- Closure Spaces of Isotone Galois Connections and Their Morphisms -- Introduction -- Preliminaries: Matrices, Decompositions, Concept Lattices -- Closure Spaces Induced by (^,V) -- Morphisms of c-Closure Spaces -- Isomorphic c-Closure Spaces -- Conclusions -- References -- Ensemble Learning and Pruning in Multi-Objective Genetic Programming for Classification with Unbalanced Data -- Introduction -- Related Work: Ensemble Learning for Class Imbalance -- Multi-Objective GP (MOGP) for Evolving Ensembles -- GP Framework for Classification -- MOGP Fitness -- MOGP Search -- MOGP Ensemble Performance -- Evolutionary Parameters and Unbalanced Data Sets -- MOGP Ensemble Results -- Ensemble Pruning -- Fitness-Based Pruning. GP for Evolving Composite Voting Trees -- Performance of Ensembles Using Puning Methods -- Conclusions -- References -- Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs -- Introduction -- Preliminary -- Bayesian Networks -- Parameter Learning Problem for BNs -- Proposed Method -- Encoding and Compiling -- Learning -- Experiments -- Conclusion and Related Work -- References -- An Empirical Study of Bagging Predictors for Imbalanced Data with Different Levels of Class Distribution -- Introduction -- Designed Framework -- Evaluation Metrics -- Experimental Setting -- Selection of Base Learners -- Data-Sets -- Experimental Results Analysis -- Statistical Test -- Comparison between Bagging and Single Learners -- Comparison between Bagging Predictors -- Conclusion -- References -- A Simple Bayesian Algorithm for Feature Ranking in High Dimensional Regression Problems -- Introduction -- Bayesian Feature Ranking (BFR) Algorithm -- Discussion and Results -- Simulated Data -- Real Data -- Conclusion -- References -- Semi-random Model Tree Ensembles: An Effective and Scalable Regression Method -- Introduction -- Random Model Trees -- Experiments -- Linear Regression -- Gaussian Process Regression -- Additive Groves -- Random Model Trees -- Results -- Relative Mean Absolute Error -- Conclusions -- References -- Supervised Subspace Learning with Multi-class Lagrangian SVM on the Grassmann Manifold -- Introduction -- Proposed Method -- Multi-class Lagrangian SVM -- Learning the Projection -- Experiments -- Conclusion -- References -- Bagging Ensemble Selection -- Introduction -- Bagging Ensemble Selection -- Experimental Results -- Comparison of Bagging Ensemble Selection Algorithms to the Forward Ensemble Selection Algorithms -- Comparison of Bagging Ensemble Selection Algorithms to Other Ensemble Learning Algorithms -- Conclusions. References.
Record Nr.	UNISA-996465973703316