中文
相关论文

相关论文: Synthesis of Modeling, Visualization, and Programm…

200 篇论文

Intelligent power grid research, i.e. smart grid, involves many simultaneous users spread over a relatively large geographical area. A tool for advancing research and community education is presented utilizing large-scale visualization…

人机交互 · 计算机科学 2015-09-22 Chris Foreman , Rammohan K. Ragade , James H. Graham

Probabilistic graphical models (PGMs) serve as a powerful framework for modeling complex systems with uncertainty and extracting valuable insights from data. However, users face challenges when applying PGMs to their problems in terms of…

机器学习 · 计算机科学 2024-05-29 Jiantong Jiang , Zeyi Wen , Peiyu Yang , Atif Mansoor , Ajmal Mian

In the present work we intend to introduce a system based on VR (Virtual Reality) for examining analytical-geometric structures that occur in the study of mathematics and physics concepts in the last high school classes. In our opinion, an…

物理教育 · 物理学 2021-11-04 Marco Simonetti , Damiano Perri , Natale Amato , Osvaldo Gervasi

This paper presents an immersive virtual reality environment that can be used to develop collaborative educational applications. Multiple users can collaborate within the virtual shared space and communicate with each other through voice.…

人机交互 · 计算机科学 2020-10-14 Milan Dolezal , Jiri Chmelik , Fotis Liarokapis

The term visual programming has started to be used in Informatics so far, however, there are different views on its meaning. The separation of visual programming from development tools of interfaces provides not only the certainty for this…

计算机与社会 · 计算机科学 2018-07-25 Vladyslav Velychko

Geometric algebra (GA) is a mathematical tool for geometric computing, providing a framework that allows a unified and compact approach to geometric relations which in other mathematical systems are typically described using different more…

数学软件 · 计算机科学 2025-05-09 Manel Velasco , Isiah Zaplana , Arnau Dória-Cerezo , Pau Martí

The effects of computer-assisted and distance learning of geometric modeling and computer aided geometric design are studied. It was shown that computer algebra systems and dynamic geometric environments can be considered as excellent tools…

计算机与社会 · 计算机科学 2013-05-13 Omer Faruk Sozcu , Rushan Ziatdinov , Ismail Ipek

Empowered by large-scale training, vision-language models (VLMs) achieve strong image and video understanding, yet their ability to perform spatial reasoning in both static scenes and dynamic videos remains limited. Recent advances try to…

计算机视觉与模式识别 · 计算机科学 2026-03-30 Shihua Zhang , Qiuhong Shen , Shizun Wang , Tianbo Pan , Xinchao Wang

The article reveals the experience of organizing blended learning for geography students using Google Classroom, and discloses its potential uses in the study of geography. For the last three years, the authors have tested such inclass and…

计算机与社会 · 计算机科学 2019-09-12 Olha Bondarenko , Svitlana Mantulenko , Andrey Pikilnyak

This article discusses how to make statistical graphics a more prominent element of the undergraduate statistics curricula. The focus is on several different types of assignments that exemplify how to incorporate graphics into a course in a…

其他统计学 · 统计学 2015-03-04 Deborah Nolan , Jamis Perrett

The Simplex algorithm for solving linear programs-one of Computing in Science & Engineering's top 10 most influential algorithms of the 20th century-is an important topic in many algorithms courses. While the Simplex algorithm relies on…

人机交互 · 计算机科学 2022-12-20 Henry W. Robbins , Samuel C. Gutekunst , David B. Shmoys , David P. Williamson

Spatio-temporal reasoning in vision-language models requires visual representations that preserve physical geometry rather than merely semantic appearance. Recent multimodal models incorporate geometric information through structural…

计算机视觉与模式识别 · 计算机科学 2026-05-22 Deshui Miao , Xingsen Huang , Yameng Gu , Xin Li , Haijun Zhang , Ming-Hsuan Yang

A recent development, called isogeometric analysis, provides a unified approach for design, analysis and optimization of functional products in industry. Traditional volume rendering methods for inspecting the results from the numerical…

图形学 · 计算机科学 2015-05-08 Franz G. Fuchs , Jon M. Hjelmervik

Computer graphics, often associated with films, games, and visual effects, has long been a powerful tool for addressing scientific challenges--from its origins in 3D visualization for medical imaging to its role in modern computational…

"Computational experiments" use code and interactive visualizations to convey mathematical and physical concepts in an intuitive way, and are increasingly used to support ex cathedra lecturing in scientific and engineering disciplines.…

What is the best representation for doing euclidean geometry on computers? These notes from a SIGGRAPH 2019 short course entitled "Geometric algebra for computer graphics" introduce projective geometric algebra (PGA) as a modern framework…

图形学 · 计算机科学 2020-08-19 Charles G. Gunn

Generating accurate and consistent visual aids is a critical challenge in mathematics education, where visual representations like geometric shapes and functions play a pivotal role in enhancing student comprehension. This paper introduces…

计算与语言 · 计算机科学 2024-11-11 Jeongwoo Lee , Kwangsuk Park , Jihyeon Park

We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities. As a…

人工智能 · 计算机科学 2016-03-04 Zoltán Kovács , Csilla Sólyom-Gecse

Recent advancements in world models have revolutionized dynamic environment simulation, allowing systems to foresee future states and assess potential actions. In autonomous driving, these capabilities help vehicles anticipate the behavior…

计算机视觉与模式识别 · 计算机科学 2025-05-30 Anthony Chen , Wenzhao Zheng , Yida Wang , Xueyang Zhang , Kun Zhan , Peng Jia , Kurt Keutzer , Shanghang Zhang

Comparison of geometric quantities usually means obtaining generally true equalities of different algebraic expressions of a given geometric figure. Today's technical possibilities already support symbolic proofs of a conjectured theorem,…

计算几何 · 计算机科学 2022-02-10 Zoltán Kovács , Róbert Vajda