Bernd Finkbeiner,Gideon Geier,Noemi Passing
Bernd Finkbeiner
Reactive synthesis is the task of automatically deriving a correct implementation from a specification. It is a promising technique for the development of verified programs and hardware. Despite recent advances in terms of algorithms and to...
Guest Editorial: Intelligence for systems and software engineering [0.03%]
guest editorial：系统与软件工程中的智能技术
Mike Hinchey,Amit Jain,Manju Kaushik et al.
Mike Hinchey et al.
A systematic method for diagnosis of hepatitis disease using machine learning [0.03%]
利用机器学习进行肝炎疾病诊断的系统方法
Ravi Kumar Sachdeva,Priyanka Bathla,Pooja Rani et al.
Ravi Kumar Sachdeva et al.
Hepatitis is among the deadliest diseases on the planet. Machine learning approaches can contribute toward diagnosing hepatitis disease based on a few characteristics. On the UCI dataset, authors assessed distinct classifiers' performance i...
Automated credit assessment framework using ETL process and machine learning [0.03%]
使用ETL过程和机器学习的自动信用评估框架
Neepa Biswas,Anindita Sarkar Mondal,Ari Kusumastuti et al.
Neepa Biswas et al.
In the current business scenario, real-time analysis of enterprise data through Business Intelligence (BI) is crucial for supporting operational activities and taking any strategic decision. The automated ETL (extraction, transformation, an...
Mental health issues assessment using tools during COVID-19 pandemic [0.03%]
使用工具评估COVID-19大流行期间的精神健康问题
Hamnah Rao,Meenu Gupta,Parul Agarwal et al.
Hamnah Rao et al.
COVID-19 has brought distress among people as pandemic has impacted the globe not only economically or physically, but also psychologically by degrading their mental health. Several research were done in the past which tried to capture thes...
Opinion classification at subtopic level from COVID vaccination-related tweets [0.03%]
来自与COVID疫苗接种相关推文的子主题级别意见分类
Mrinmoy Sadhukhan,Pramita Bhattacherjee,Tamal Mondal et al.
Mrinmoy Sadhukhan et al.
Coronavirus disease 2019 (Covid-19) is a contiguous disease which affected a large volume of population with a high mortality rate across the globe. For dealing with the recent spread of COVID-19, one of the prime measures was to vaccinate ...
Forecasting adversities of COVID-19 waves in India using intelligent computing [0.03%]
利用智能计算预测印度新冠肺炎疫情波及面临的挑战
Arijit Chakraborty,Dipankar Das,Sajal Mitra et al.
Arijit Chakraborty et al.
The second wave of the COVID-19 pandemic outburst triggered enormously all over India. This ill-fated and fatal brawl affected millions of Indian citizens, with many active and infected Indians struggling to recover from this deadly disease...
Live synthesis [0.03%]
实时合成
Bernd Finkbeiner,Felix Klein,Niklas Metzger
Bernd Finkbeiner
Synthesis automatically constructs an implementation that satisfies a given logical specification. In this paper, we study the live synthesis problem, where the synthesized implementation replaces an already running system. In addition to s...
Bernd Finkbeiner,Noemi Passing
Bernd Finkbeiner
In contrast to the breakthroughs in reactive synthesis of monolithic systems, distributed synthesis is not yet practical. Compositional approaches can be a key technique for scalable algorithms. Here, the challenge is to decompose a specifi...
Two-stream fusion model using 3D-CNN and 2D-CNN via video-frames and optical flow motion templates for hand gesture recognition [0.03%]
基于视频帧和光流运动模板的两路融合的手势识别模型
Debajit Sarma,V Kavyasree,M K Bhuyan
Debajit Sarma
Hand gestures are useful tools for many applications in the human-computer interaction community. Here, the objective is to track the movement of the hand irrespective of the shape, size and color of the hand. And, for this, a motion templa...