StreamKV
StreamKV: Streaming Video Question-Answering with Segment-based KV Cache Retrieval and Compression查看论文原文 StreamKV 核心逻辑拆解 > [SYSTEM::LOG]:: Initializing StreamKV Algorithm Framework... > [STATUS::OK]:: Baseline model LLaVA-OneVision selected. > [ENV::INFO]:: Running on NVIDIA H20 GPU (96G). Step Streaming Encoding核心挑战: 如何解决流视频内存装不下的问题? 1.1 语义分块与压缩原理 (Semantic Partitioning)视频是由许多帧组成的,对于输入的每一帧,我们利用 ViT,压平映射,形成一个 f_{im} 向量。通过计算相邻帧的余弦相似度,我们可以判断视频的语意连贯性。 在切割 segment 片段时: 切割判定: Si...
software_1_lesson_2
无穷集和对角线法简单概括就是,先构造实数序列(0-1),将自然数与实数序列一一对应,然后试图构造新的一个实数序列:将第一个实数的第一位小数取反,再将实数的第二位小数取反,依次构造出不等于任何已有实数序列的新实数。 Input: 一个巨大的 std::vector<std::string>,里面存了无数个长度无限的 01 字符串。 Algorithm: 遍历这个 vector,取第 i 个字符串的第 i 位,做 !bit 操作。 Result: 得到一个新的 string。 Assertion: find(vector.begin(), vector.end(), new_string) == vector.end() 永远为真。) 希尔伯特的野心:万能判定机希尔伯特在 1928 年提出这个挑战时,他的设想非常宏大。他想知道:是否存在一个算法(程序),当你输入任何一个数学命题(用逻辑符号写成),它都能在有限的时间内给你一个明确的答复: True 或 False 输入: 一段符合语法规则的“逻辑代码”(一阶逻辑符号系统)。 处理: 一个清楚明白的“验算程序”(算法)。 ...
about Khalil ,about love
离去 前段时间,耳机里随机切到大同的歌。恍惚间,我意识到他离开我们竟然快一年了。眼泪一瞬间决堤,我的思绪仿佛又回到了去年 3 月 1 日那个沉闷的下午。 大同是我最爱的歌手,他的歌陪伴了我很久。 爱爱爱 初二那年,第一次听到《爱爱爱》。我也不懂什么复杂的乐理,只觉得那种舒缓的旋律里,藏着大同对世界最纯粹的理解——“我爱故我在”。于是,我开始试着在他的歌里去感受爱、理解爱。 后来,偶然听到《枫叶做的风铃》,那是很温暖的一首歌。像是在秋日午后,空气中氤氲着阳光的味道,恋人牵手漫步在红枫林中,等风吹过,叶片沙沙作响,一切都好像漂浮在暖橙色上。透过作品,我能感受到大同灵魂深处的温柔和平和。 从 DT 到 Khalil 初中时,我几乎是同时知晓大同与陶喆的。那时年少,还是更向往 David Tao 音乐里的自由与洒脱,还有那些充满个性、桀骜不驯的“怪叫”()。而大同的音乐偏向内敛,那时的我尚未有所感触。直到步入高中,我才真正沉下心来,开始认真倾听“颗粒哦”的音乐。 刚“入坑”时,我去了听出道专《Soulboy》。那是一张 R&B 与 Soul 韵味极浓的专辑。老实说,起...
my first blog !
first blog hello world** hello world **
Hello World
Welcome to Hexo! This is your very first post. Check documentation for more info. If you get any problems when using Hexo, you can find the answer in troubleshooting or you can ask me on GitHub. Quick StartCreate a new post1$ hexo new "My New Post" More info: Writing Run server1$ hexo server More info: Server Generate static files1$ hexo generate More info: Generating Deploy to remote sites1$ hexo deploy More info: Deployment




