the proceedings contain 217 papers. the topics discussed include: process mining in CSCW systems;agents and interactions;capturing, storing and retrieving design knowledge in a distributed environment;co-ordination ai...
详细信息
ISBN:
(纸本)1846000025
the proceedings contain 217 papers. the topics discussed include: process mining in CSCW systems;agents and interactions;capturing, storing and retrieving design knowledge in a distributed environment;co-ordination aided computational design;enhancing coordination in global cooperative software design;the research on the software architecture of negotiatory synthetical forecasting GDSS based on J2EE;the use of paraconsistent logic in negotiation among artificial organizations;research on the bilateral negotiation algorithms of cooperative design system based on genetic algorithm;competence mining for team formation and virtual community recommendation;and system forecast locking in collaborative pattern design.
the proceedings contain 15 papers. the topics discussed include: GPU ray tracing based on reduced bounding volume hierarchies;oriented animal-mask decoration pattern generation;mouth image controlled web page;a sketch...
ISBN:
(纸本)9780769547787
the proceedings contain 15 papers. the topics discussed include: GPU ray tracing based on reduced bounding volume hierarchies;oriented animal-mask decoration pattern generation;mouth image controlled web page;a sketch-based skeletal figure animation tool for novice users;context-aware camera planning for interactive storytelling;real-time hand gesture recognition from depth image sequences;a geometric invariant digital image watermarking scheme based on robust feature detector and local zernike moments;window to the soul: tracking eyes to inform the design of visualizations;an automated adaption of k-means based hybrid segmentation system into direct volume rendering object distinction mode for enhanced visualization effect;and the quartic trigonometric bézier curve with two shape parameters.
the Artificial Intelligence (AI)-assisted academic writing platform is a digital tool that leverages the use of artificial intelligence (AI) technology to help the platform users, i.e., students, teachers, and pr...
详细信息
ISBN:
(纸本)9789819644063
the Artificial Intelligence (AI)-assisted academic writing platform is a digital tool that leverages the use of artificial intelligence (AI) technology to help the platform users, i.e., students, teachers, and professionals in various aspects of academic writing. this work reviews existing AI-assisted academic writing platforms, discusses core system design features that are important considerations in designing such frameworks, and provides a critical discussion of the strengths and weaknesses of existing platforms. this work also proposes a robust and secure framework for an AI-assisted academic writing platform based on Azure cloud services. the platform aims to provide comprehensive supervisory support, free from time and location constraints, to help its users e.g., teachers in terms of helping withtheir workload in assessing academic reports, and to students by providing support to enhance their academic writing. the proposed framework is based on Microsoft (MS) Azure cloud services because it provides reliability, scalability, and a wide range of services such as Web Server and Content Management System (CMS), Azure Database for MySQL and OpenAI Azure Service i.e., ChatGPT in a secure environment. In addition, the proposed framework integrates with a Private Cloud to further enhance the platform’s functionality and secure environment. the main objective of the platform is to deliver an interactive system that provides reliable feedback on English writing in a range of academic fields. the proposed platform is then evaluated by piloting on the PolyU SPEED academic course led by 16 teachers and tested on academic reports of 273 students. the survey-based evaluation results show that the proposed AI-assisted academic writing platform is easy to use and showcases the ability to identify issues related to specific genre-based content and coherence, provide assistance in grammar and vocabulary, and highlight issues in reference style with reasonably high accuracy.
Object recognition and grasping by the robotic arm are crucial prerequisites for realizing brain-controlled robotic arms. Excellent robotic arm design and efficient algorithms can compensate for the shortcomings of Br...
详细信息
ISBN:
(数字)9798331544577
ISBN:
(纸本)9798331544584
Object recognition and grasping by the robotic arm are crucial prerequisites for realizing brain-controlled robotic arms. Excellent robotic arm design and efficient algorithms can compensate for the shortcomings of Brain-computer Interface (BCI) based on motor imagery. this paper utilizes a depth camera as the sensor for environmental perception and employs a six-degree-of-freedom robotic arm withcomputer vision capabilities to achieve object recognition, pose estimation, and autonomous grasping in multi-target scenarios. the robotic arm is controlled to grasp a recognized object online via BCI based on the analysis of evoked potentials of the user's EEG signals upon presentation of visual stimuli.
the identification of the optimal disassembly sequences of complex products is very important for the evaluation at the early design stage of its maintainability and the analysis of its recyclability at the end of lif...
详细信息
ISBN:
(数字)9798331509262
ISBN:
(纸本)9798331509279
the identification of the optimal disassembly sequences of complex products is very important for the evaluation at the early design stage of its maintainability and the analysis of its recyclability at the end of life. Several tools can be used to reach this goal (genetic algorithms, graphs, Petri nets, etc.). However, methodologies based on these tools do not take into account information such as the accessibilities and the positions of the links and the criticalities and the reliabilities of the components. they generally focused on a single system too. thus, we propose in this paper a methodology based on Petri Nets, using eXtended Conceptual design Semantic Matrix (X-CDSM) and new disassembly indicators for improving optimal disassembly sequences of complex system's families at the early design stage.
the day-to-day developments in computer-aided drug design methods have improved the identification process of potential drugs. the de novo design creates novel chemical entities to increase the search space of potenti...
详细信息
the proceedings contain 53 papers. the special focus in this conference is on computeraided Verification. the topics include: Practical challenges for industrial formal verification tools;formal verification of digit...
ISBN:
(纸本)3540631666
the proceedings contain 53 papers. the special focus in this conference is on computeraided Verification. the topics include: Practical challenges for industrial formal verification tools;formal verification of digital systems, from ASICs to HW/SW codesign;the industrial success of verification tools based on stalmarck’s method;automatic abstraction techniques for propositional mu-calculus model checking;a compositional rule for hardware design refinement;module checking revisited;using compositional preorders in the verification of sliding window protocol;an efficient decision procedure for the theory of fixed-sized bit-vectors;construction of abstract state graphs with PVS;verification of a chemical process leak test procedure;automatic datapath extraction for efficient usage of HDD;an n log n algorithm for online BDD refinement;weak bisimulation for fully probabilistic processes;towards a mechanization of cryptographic protocol verification;efficient model checking using tabled resolution;containment of regular languages in non-regular timing diagram languages is decidable;an improved reachability analysis method for strongly linear hybrid systems;some progress in the symbolic verification of timed automata;a provably correct embedded verifier for the certification of safety critical software;model checking in a microprocessor design project;some thoughts on statecharts, 13 years later;on-the-fly model checking under fairness that exploits symmetry;exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation;parallelizing the murphi verifier;a new heuristic for bad cycle detection using BDDs;efficient detection of vacuity in ACTL formulas and model checking and transitive-closure logic.
the proceedings contain 65 papers. the topics discussed include: creating a team building toolkit for distributed teams;a model for interaction rules to define governance policies in collaborative environments;percept...
详细信息
ISBN:
(纸本)3540329692
the proceedings contain 65 papers. the topics discussed include: creating a team building toolkit for distributed teams;a model for interaction rules to define governance policies in collaborative environments;perception centers of interest;towards an optimistic management of concurrency: a probabilistic study of the pilgrim protocol;the role of sketches in supporting near-synchronous remote communication in computer supported collaborative design;cooperate template mechanism for cooperative design;supporting social organization modeling in cooperative work using patterns;research and implementation of E-government information portal based on grid technology;and automated outsourcing partnership management using semantic Web services.
the proceedings contain 60 papers. the special focus in this conference is on Cross-Cultural design. the topics include: Transforming traditional paper cutting into LINE stickers;a systemic approach to concrete constr...
ISBN:
(纸本)9783319579306
the proceedings contain 60 papers. the special focus in this conference is on Cross-Cultural design. the topics include: Transforming traditional paper cutting into LINE stickers;a systemic approach to concrete constructions;a reflective research on the development of Chinese animation;the impact of Chinese traditional cultural on the gesture and user experience in mobile interaction design;a first speculation on cultural experiments as design research methods;transforming concepts of a Taiwanese twin cup into social design activities;research and application of service designthoughts in subway advertisement design;consistency of use flow improving user experience of service-oriented websites;the integration of personal and public transportation in creating seamless experience;integration and innovation: learning by exchanging views - a report of the cross-cultural design workshop for stone craving;the interdisciplinary collaboration of innovational design;research on the service design of the museum visiting;designing a cross-cultural interactive music box through meaning construction;research on the design of bicycle service system in colleges and universities based on contact mining;investigating the comprehension of public symbols for wayfinding in transit hubs in china;a study on signage design and synesthesia in senior residences;Chinese migrant food business in Italy and design researches for intercultural dialogue;a pilot study of communication matrix for evaluating artworks and design to improve medication adherence for the elderly in china.
Product design has a major, often under-estimated impact on sustainability. this article describes the process of a new sustainable product design aiming for integrating circular engineering and social aspects as an i...
详细信息
暂无评论