All Stories

  1. AiDER: Auditing and Document Evaluation via Rule Compilation and Small Language Models - An Education Case Study
  2. ROS 2-Based Architecture for Autonomous Driving Systems: Design and Implementation
  3. Quality Control of Carbon Look Components via Surface Defect Classification with Deep Neural Networks
  4. Leukocyte classification for acute lymphoblastic leukemia timely diagnosis by interpretable artificial neural network
  5. FRMDB: Face Recognition Using Multiple Points of View
  6. Brain-on-Cloud for automatic diagnosis of Alzheimer’s disease from 3D structural magnetic resonance whole-brain scans
  7. Machine learning for monitoring and predictive maintenance of cutting tool wear for clean-cut machining machines
  8. Cloud-YLung for Non-Small Cell Lung Cancer Histology Classification from 3D Computed Tomography Whole-Lung Scans
  9. Lung nodule diagnosis and cancer histology classification from computed tomography data by convolutional neural networks: A survey
  10. A Comparison of Machine Learning Techniques for the Quality Classification of Molded Products
  11. Towards Sustainable Models of Computation for Artificial Intelligence in Cyber-Physical Systems
  12. A neural network based microphone array approach to grid-less noise source localization
  13. An End-to-End 3D ConvLSTM-based Framework for Early Diagnosis of Alzheimer's Disease from Full-Resolution Whole-Brain sMRI Scans
  14. Real-time multi-agent systems: rationality, formal model, and empirical results
  15. Deep Learning for Automatic Violence Detection: Tests on the AIRTLab Dataset
  16. A dataset for automatic violence detection in videos
  17. A surface electromyography and inertial measurement unit dataset for the Italian Sign Language alphabet
  18. An Internet of Things Approach to Contact Tracing—The BubbleBox System
  19. Consistency Verification of a Rule-Based Smart Home Reasoning System with Satisfiability Modulo Theories
  20. Violence Detection in Videos by Combining 3D Convolutional Neural Networks and Support Vector Machines
  21. Digit(al)isation in Museums
  22. Voice Interaction with Artworks via Indoor Localization: A Vocal Museum
  23. Smart home reasoning systems: a systematic literature review
  24. A Probabilistic Multi-Agent System Architecture for Reasoning in Smart Homes
  25. Indexing the Event Calculus: Towards practical human-readable Personal Health Systems
  26. Real-time multi-agent systems for telerehabilitation scenarios
  27. An Agent-Swarm Simulator for Dynamic Vehicle Routing Problem Empirical Analysis
  28. Combining Image Targets and SLAM for AR-Based Cultural Heritage Fruition
  29. Real Scale Augmented Reality. A Novel Paradigm for Archaeological Heritage Fruition
  30. Reasoning in Multi-agent Based Smart Homes: A Systematic Literature Review
  31. Virtual Carer
  32. Reputation Management in Multi-Agent Systems Using Permissioned Blockchain Technology
  33. Trusted Registration, Negotiation, and Service Evaluation in Multi-Agent Systems throughout the Blockchain Technology
  34. Local Scheduling in Multi-Agent Systems: Getting Ready for Safety-Critical Scenarios
  35. MAXIM-GPRT: A Simulator of Local Schedulers, Negotiations, and Communication for Multi-Agent Systems in General-Purpose and Real-Time Scenarios
  36. A boat-based flying drone to monitor coastlines and render them in augmented reality
  37. The relational model: In search for lean and mean CPS technology
  38. Agent-Based Systems for Telerehabilitation: Strengths, Limitations and Future Challenges
  39. Contextual Requirements Prioritization and Its Application to Smart Homes
  40. Event Calculus Agent Minds Applied to Diabetes Monitoring
  41. Event Calculus Agent Minds Applied to Diabetes Monitoring
  42. Exploring the ambient assisted living domain: a systematic review
  43. A framework based on real-time OS and multi-agents for intelligent autonomous robot competitions
  44. Testing Intelligent Solutions for the Ambient Assisted Living in a Simulator
  45. Combining Artificial Intelligence and NetMedicine for Ambient Assisted Living
  46. Towards Multi-Agent Health Information Systems
  47. Preface
  48. Smart Tales: An Awareness Game for Ambient Assisted Living
  49. A noise-robust obstacle detection algorithm for mobile robots using active 3D sensors
  50. A goal-oriented requirements engineering approach for the ambient assisted living domain
  51. A Quarter of Century in Artificial Intelligence and Law: Projects, Personal Trajectories, a Subjective Perspective
  52. A Multi-Agent Expert System Simulation for Ambient Assisted Living: The Virtual Carer Experience
  53. Spyke3D: A new computer games oriented BDI Agent Framework
  54. Secure Data and Voice Transmission over GSM Voice Channel: Applications for Secure Communications
  55. Universal Access to Health Services Through the Digital Terrestrial Television
  56. A Multi-Agent Architecture for Health Information Systems
  57. MARVIN: Mobile Autonomous Robot for Video Surveillance Networks
  58. A Multi-context Representation of Mental States
  59. Testing Linux-based real-time systems: Lachesis
  60. A Continuous Learning in a Changing Environment
  61. An Augmented Reality Application for the Radio Frequency Ablation of the Liver Tumors
  62. Face Recognition System in a Dynamical Environment
  63. A CONTINUOS LEARNING FOR A FACE RECOGNITION SYSTEM
  64. Multiple Neural Networks and Bayesian Belief Revision for a never-ending unsupervised learning
  65. Hybrid system for a never-ending unsupervised learning
  66. Labeled RDF
  67. MIRTES: MIddleware for real-time transactions in embedded systems
  68. An Hybrid System for Continuous Learning
  69. Multiple Neural Networks System for Dynamic Environments
  70. Mental states as multi-context systems
  71. Conflict Detection and Bayesian Conditioning for Estimating the Reliability of Each LVQ Network in a Group Engaged at Iris Biometric Identification
  72. A Fuzzy Semantics for the Resource Description Framework
  73. ARTIFICIAL NEURAL NETWORKS BASED SYMBOLIC GESTURE INTERFACE
  74. CAPTURING THE HUMAN ACTION SEMANTICS USING A QUERY-BY-EXAMPLE
  75. SALVAGING THE SPIRIT OF THE METER-MODELS TRADITION: A MODEL OF BELIEF REVISION BY WAY OF AN ABSTRACT IDEALIZATION OF RESPONSE TO INCOMING EVIDENCE DELIVERY DURING THE CONSTRUCTION OF PROOF IN COURT
  76. Knowledge extraction using dynamical updating of representation
  77. MAXIMAL CONSISTENCY, THEORY OF EVIDENCE, AND BAYESIAN CONDITIONING IN THE INVESTIGATIVE DOMAIN
  78. Mental States Recognition from Communication
  79. Belief Revision as Applied within a Descriptive Model of Jury Deliberations
  80. Updating Mental States from Communication
  81. Updating mental states from informative communication
  82. A self-diagnosing distributed monitoring system for nuclear power plants
  83. Belief revision: from theory to practice
  84. Distributed decision support systems under limited degrees of competence: A simulation study
  85. Distributed knowledge revision/integration
  86. Distributed belief revision vs. belief revision in a multi-agent environment: First results of a simulation experiment
  87. Learning agents' reliability through Bayesian Conditioning: A simulation experiment
  88. Belief revision through the belief-function formalism in a multi-agent environment
  89. Supporting complex inquiries
  90. A generalized approach to consistency based belief revision
  91. A model for belief revision in a multi-agent environment (abstract)
  92. Health Services through Digital Terrestrial Television
  93. Virtual Carer
  94. From multimedia to the semantic web using MPEG-7 and computational intelligence
  95. Distributed belief revision versus distributed truth maintenance