搜索结果: 1-15 共查到“计算机科学技术 first”相关记录24条 . 查询时间(0.093 秒)
Researchers develop first contactless cardiac arrest AI system for smart speakers（图）
contactless cardiac arrest AI system smart speakers
2019/10/28
Almost 500,000 Americans die each year from cardiac arrest, when the heart suddenly stops beating.People experiencing cardiac arrest suddenly become unresponsive and stop breathing or begin gasping fo...
First smartphone app that can hear ear infections in children（图）
smartphone app hear ear infections children
2019/10/30
Ear infections are among the most common reasons parents bring their children to pediatricians, according to the National Institutes of Health.The condition can occur when fluid builds up in the middl...
Cyber Corps:Scholarship For Service Recognizes First Hall Of Fame Recipients
Cyber Corps Scholarship Service First Hall Fame Recipients
2018/1/31
The National Science Foundation's (NSF) CyberCorps: Scholarship for Service (SFS) program today announced its inaugural class of SFS Hall of Fame recipients, recognized for making outstanding contribu...
Computer approaches human skill for first time in brain challenge（图）
computer approaches human skill first time brain challenge
2017/9/5
A WSU research team for the first time has developed a computer algorithm that is nearly as accurate as people are at mapping brain neural networks — a breakthrough that could speed up the image analy...
First battery-free cellphone makes calls by harvesting ambient power
First battery-free cellphone makes calls harvesting ambient power
2017/7/24
University of Washington researchers have invented acellphone that requires no batteries — a major leap forward in moving beyond chargers, cords and dying phones. Instead, the phone harvests the ...
2017 IEEE第一届乌克兰电气和计算机工程会议（2017 IEEE First Ukraine Conference on Electrical and Computer Engineering）
2017 IEEE 第一届 乌克兰电气 计算机工程 会议
2017/5/24
Welcome to the official website for the 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) in Kyiv, Ukraine with information about the Conference, the city of Kyiv, our...
第一届人类活动分析与高度多样化的照相机研讨会（The First International Workshop on Human Activity Analysis with Highly Diverse Cameras）
第一届 人类活动分析与高度多样化的照相机 研讨会
2017/3/28
In recent computer vision research, diverse types of cameras have enabled various forms of human activity analysis. Surveillance cameras are used to sense crowd behaviors on the street. Smartphones or...
2017年第一届国际软件定义网络和网络功能虚拟化研讨会（The First international workshop on Software Defined Networks and Network Function Virtualization）(SDN-NFV)
2017年 第一届 国际软件定义网络 网络功能虚拟化 研讨会
2017/3/21
The emerging networking techniques such as Software Defined Network (SDN) and Network Function Virtualization (NFV) are promising a complete paradigm shift in how we manage our future networks. With t...
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities
Towards Automated Detection Buffer Overrun Vulnerabilities
2016/5/24
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection of buffer overruns as...
We investigate the first-order theory of subtyping constraints.We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where all constructors are ei...
First-class Runtime Generation of High-performance Types using Exotypes
First-class Runtime Generation High-performance Types Exotypes
2016/5/24
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dyna...
UMD-led Team First to Solve Well-known Game Theory Scenario
UMD-led Team Game Theory Scenario
2016/2/23
A team of computer scientists from the University of Maryland, Stanford University and Microsoft Research is the first to solve a game theory scenario that has vexed researchers for nearly a century. ...
Compressed sensing based cone-beam computed tomography reconstruction with a first-order method
Department of Radiation Oncology Stanford University Stanford California 94305
2015/8/7
This article considers the problem of reconstructing cone-beam computed tomography (CBCT) images from a set of undersampled and potentially noisy projection measurements. The authors cast the reconstr...
CU-Boulder-created app first to use gesture for language learning
CU-Boulder-created app first gesture for language learning
2015/3/4
While you might think a person shaking her phone or tablet from side to side is having issues with the device, she might actually be playing a game that has her mimicking a steering wheel motion as pa...
Expressiveness and Succinctness of First-Order Logic on Finite Words
Ehrenfeucht-Fra飐s?game finite model theory first-order logic generalized star-height satisfiability succinctness
2014/12/18
Expressiveness, and more recently, succinctness, are two central concerns of finite model theory and descriptive complexity theory. Succinctness is particularly interesting because it is closely relat...