Search Results - computer programs fast ((https processing) OR (data processing)).

Search alternatives:

Refine Results
  1. 1601
    Published 2021
    Table of Contents: ...Keynote -- Supporting Image Search: A Compelling Application for Vision Processing -- Visualisation And Digital Innovation -- Color Aesthetic Enhancement for Categorical Data Visualization -- A Preliminary Model of Learning Analytics to Explore Data Visualization on Educator's Satisfaction and Academic Performance in Higher Education -- An Analytical Reasoning Framework for Visual Analytics Representation -- Literature survey on Aircraft Maintenance Issues with Human Errors and Skillset Mismatch using Document Mining Technique -- Interactive Tangible Game for Collaborative Play between Children with Cerebral Palsy -- Establishing Field of Study: Towards development of a multilingual model for auto-detection of cyberbullying using fuzzy-crisp rules and Internet crowd data -- Identifying the Presence of Cyberbullying in Tamil-English Phonetic Words using Browser Plugin -- Visual Learning Application in Mathematics Using Holographic Display based on Multi-Touch Technology -- Systematic Review of Common Factors used to Measure Individuals' Career Choice -- Interaction Design for Digital Saron Musical Instruments Using Call and Response System and Rhythmic Emphasis Weighting Methods -- A User Experience Model for Designing Educational Mobile Application -- Evidence-Based of Interactive Multimedia-Based Nutrition Education Package Efficacy on Obesity Outcomes Through Game and Video Intervention -- Evidence-based of Improved Electron Tomogram Segmentation and Visualization through High Pass Domain Kernel in Bilateral Filter -- VR-based Relaxation Therapy for Customer Service Staff: A Pilot Study -- Fusion Technology and Visualisation to Share STEM Data Using PETS Robots (i-COMEL) for Open Data Readiness Amongst Primary School Children -- Interactive Multimedia Kolb Experiential Learning Model Using Logistic Regression Algorithm to Improve Student Cognitive -- Performance Analysis of Machine Learning Techniques for Sentiment Analysis -- National Sport Institute Case: Automated Data Migration Using Talend Open Studio With 'Trickle Approach' -- Engineering and Digital Innovation -- Mudahnya BM: A Context-Aware Mobile Cloud Learning Application Using Semantic-Based Approach -- Software Redocumentation Using Distributed Data Processing Technique to Support Program Understanding for Legacy System: A Proposed Approach -- System Design and Usability Evaluation of Ghana Music Documentation System Using the System Usability Scale -- Static Indoor Pathfinding with Explicit Group Two-Parameter Over Relaxation Iterative Technique -- Use of Faceted Search: The Effect on Researchers -- Sustainable Product Innovation using Patent Mining and TRIZ -- Personalised Smart Mobility Model for Smart Movement during Pandemic Covid-19 -- Intelligent Multi-Cellular Network Connectivity for Internet of Things Applications -- A Performance Study on Emotion Models Detection Accuracy in a Pandemic Environment -- IoT-based System for Real-time Swimming Pool Water Quality Monitoring -- The Preliminary Study of Traffic Impact Analysis for Developing Countries in Southeast Asia -- Search Operators Based on TRIZ for Optimising PCB Assembly Time -- A Model for Teaching and Learning Programming Subjects in Public Secondary Schools of Malaysia -- GPU-Accelerated Enhanced Marching Cubes 33 for Fast 3D Reconstruction of Large Bone Defect CT Images -- Cyber Security and Machine Learning and Digital Innovation -- Malware Classification based on System Call -- A Conceptual Model: Securing Resources Through a Decentralized Access Control using Blockchain Technology for Smart Farming -- Traffic Flow Prediction using Long-Short Term Memory Technique for Connected Vehicles in Smart Cities -- A Machine Learning Classification Application to Identify Inefficient Novice Programmers -- Minimizing Classification Errors in Imbalanced Dataset Using Means of Sampling -- The Mediating Role of Cloud Computing and Moderating Influence of Digital Organizational Culture Towards Enhancing SMEs Performance -- Arabic Speaker Identification System for Forensic Authentication using K-NN algorithm -- A Recent Research on Malware Detection Using Machine Learning Algorithm: Current Challenges and Future Works -- Symptoms-Based Network Intrusion Detection System -- Impact Analysis and Correlation Study on the Spread of Fake News during Pandemic Covid-19 in Malaysia -- Machine Learning Classification for Blood Glucose Performances using Insulin Sensitivity and Respiratory Scores in Diabetic ICU Patients -- Forecasting of Carbon Monoxide Concentration based on Sequence-to-Sequence Deep Learning Approach -- Infodemiology Framework for COVID-19 and Future Pandemics Using Artificial Intelligence to Address Misinformation and Disinformation -- Object Detection Model Training Framework for Very Small Datasets Applied to Outdoor Industrial Structures -- A Comparison of ML and DL Approaches for Crowd Analysis on the Hajj Pilgrimage -- Movement Estimation using Mediapipe BlazePose -- Energy Informatics and Digital Innovation -- Awareness on Energy Efficient Products as Prediction on Intention to Subscribe to and Purchase Energy Efficient Services and Products -- Algebraic Operations-based Secret-Key Design for Encryption Algorithm (ASKEA) for Energy Informatics and Smart Internet of Things (IoT) Applications -- Comparison of Electricity Load Prediction Errors between Long Short-Term Memory Architecture and Artificial Neural Network on Smart Meter Consumer -- Study on the Contributing Factors in e-Hailing Waste Management Systems for Mobile Application Adoption and Usage -- Establishing Valid and Reliable Measures for Residential Consumer Behaviour towards New Technology Electricity Appliances: An Exploratory Factor Analysis -- Energy Efficiency through a Wearable Device for the Elderly based on the Integrated Smart Neighbourhood Framework of Malaysia 5.0 Model -- Investigating the Contributing Factors of Continuance Use of Smart Meter in Melaka -- Highlighting the Contributing Factors of Smart Meter (SM) Adoption in Klang Valley -- Virtualization technology to support green computing among IT personnel in the public sector -- Willingness of Electricity Consumer in Malaysia to Share Electric Energy Consumption Data -- Challenges and Recommendations on the Development of Distributed Energy Resources (DERs) Datahub for Improved DERs Data Management in Malaysia -- ....
    Connect to the full text of this electronic book
    eBook
  2. 1602
  3. 1603
    Published 2012
    Connect to the full text of this electronic book
    eBook
  4. 1604
  5. 1605
  6. 1606
  7. 1607
  8. 1608
  9. 1609
    Published 2013
    Connect to the full text of this electronic book
    eBook
  10. 1610
    Published 2021
    Table of Contents: ...-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants....
    Connect to the full text of this electronic book
    eBook
  11. 1611
  12. 1612
  13. 1613
  14. 1614
  15. 1615
  16. 1616
  17. 1617
  18. 1618
    Published 2020
    Connect to this streaming video (Alexander Street Press)
    Video
  19. 1619
  20. 1620