English
Related papers

Related papers: Comparative analysis of SVIT and Skype features in…

200 papers

Stereo vision is essential for many applications. Currently, the synchronization of the streams coming from two cameras is done using mostly hardware. A software-based synchronization method would reduce the cost, weight and size of the…

Computer Vision and Pattern Recognition · Computer Science 2023-03-24 Nicolas Boizard , Kevin El Haddad , Thierry Ravet , François Cresson , Thierry Dutoit

Cuv\'ee is a program verification tool that reads SMT-LIB-like input files where terms may additionally contain weakest precondition operators over abstract programs. Cuv\'ee translates such inputs into first-order SMT-LIB by symbolically…

Logic in Computer Science · Computer Science 2020-10-13 Gidon Ernst

Navigating the diverse solution spaces of non-trivial software engineering tasks requires a combination of technical knowledge, problem-solving skills, and creativity. With multiple possible solutions available, each with its own set of…

Software Engineering · Computer Science 2023-01-31 Christoph Treude

Nowadays, Vision Transformer (ViT) is widely utilized in various computer vision tasks, owing to its unique self-attention mechanism. However, the model architecture of ViT is complex and often challenging to comprehend, leading to a steep…

Artificial Intelligence · Computer Science 2024-01-24 Hong Zhou , Rui Zhang , Peifeng Lai , Chaoran Guo , Yong Wang , Zhida Sun , Junjie Li

Information technology (IT) has been used widely in many aspects of our daily life. After discuss politics related aspects for some articles. In this article author would like to discuss social media for students learning environment.…

Computers and Society · Computer Science 2018-04-24 Leon Andretti Abdillah

Most of today's educators are in no shortage of digital and online learning technologies available at their fingertips, ranging from Learning Management Systems such as Canvas, Blackboard, or Moodle, online meeting tools, online homework,…

Physics Education · Physics 2025-12-13 Zhongzhou Chen , Chandralekha Singh

Software engineering education and training have obstacles caused by a lack of basic knowledge about a process of program execution. The article is devoted to the development of special tools that help to visualize the process. We analyze…

Live streaming, which allows streamers to broadcast their work to live viewers, is an emerging practice for teaching and learning computer programming. Participation in live streaming is growing rapidly, despite several apparent challenges,…

Human-Computer Interaction · Computer Science 2020-10-29 Yan Chen , Walter S. Lasecki , Tao Dong

Multi-modal learning has become increasingly popular due to its ability to leverage information from different data sources (e.g., text and images) to improve the model performance. Recently, CLIP has emerged as an effective approach that…

Machine Learning · Computer Science 2024-07-12 Zixiang Chen , Yihe Deng , Yuanzhi Li , Quanquan Gu

Video conferencing platforms have been appropriated during the COVID-19 pandemic for different purposes, including classroom teaching. However, the platforms are not designed for many of these objectives. When users, like educationists,…

Multimedia · Computer Science 2022-10-19 Rohan Kumar , Dhruv Nagpal , Vinayak Naik , Dipanjan Chakraborty

The rapid development of cloud services and their implementation in secondary education require an increase in the IC-competence of teachers during non-formal education. The implementation of cloud services will make it possible to create…

Computers and Society · Computer Science 2018-07-17 Svitlana Lytvynova , Oksana Melnyk

With the exponential increase in the amount of digital information over the internet, online shops, online music, video and image libraries, search engines and recommendation system have become the most convenient ways to find relevant…

Machine Learning · Computer Science 2017-12-21 Ayush Singhal , Pradeep Sinha , Rakesh Pant

The emergence of free AI tools like ChatGPT holds significant implications for developing writing skills in secondary education. This study examines AI's impact on students' writing competence and personal voice, balancing technological…

Computers and Society · Computer Science 2024-12-18 Eyvind Elstad , Harald Eriksen

The development of Internet technology give a chance for application in all kind of humans activity include education specially for higher education in university in order to increase education quality. In this paper we will discuss about…

Computers and Society · Computer Science 2010-06-11 Chairil Anwar , H. L. H Spits Warnars

CLIP has shown a remarkable zero-shot capability on a wide range of vision tasks. Previously, CLIP is only regarded as a powerful visual encoder. However, after being pre-trained by language supervision from a large amount of image-caption…

Computer Vision and Pattern Recognition · Computer Science 2022-03-15 Haoyu Song , Li Dong , Wei-Nan Zhang , Ting Liu , Furu Wei

With the broad growth of video capturing devices and applications on the web, it is more demanding to provide desired video content for users efficiently. Video summarization facilitates quickly grasping video content by creating a compact…

Computer Vision and Pattern Recognition · Computer Science 2022-10-24 Mayu Otani , Yale Song , Yang Wang

We propose a novel unsupervised backlit image enhancement method, abbreviated as CLIP-LIT, by exploring the potential of Contrastive Language-Image Pre-Training (CLIP) for pixel-level image enhancement. We show that the open-world CLIP…

Computer Vision and Pattern Recognition · Computer Science 2023-10-02 Zhexin Liang , Chongyi Li , Shangchen Zhou , Ruicheng Feng , Chen Change Loy

Understanding vision and language representations of product content is vital for search and recommendation applications in e-commerce. As a backbone for online shopping platforms and inspired by the recent success in representation…

Machine Learning · Computer Science 2022-08-23 Wonyoung Shin , Jonghun Park , Taekang Woo , Yongwoo Cho , Kwangjin Oh , Hwanjun Song

Personalization and active learning are key aspects to successful learning. These aspects are important to address in intelligent educational applications, as they help systems to adapt and close the gap between students with varying…

We attempt to reduce the computational costs in vision transformers (ViTs), which increase quadratically in the token number. We present a novel training paradigm that trains only one ViT model at a time, but is capable of providing…

Computer Vision and Pattern Recognition · Computer Science 2023-07-20 Mingbao Lin , Mengzhao Chen , Yuxin Zhang , Chunhua Shen , Rongrong Ji , Liujuan Cao