工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 人工智能 计算机系统结构 计算机软件 计算机工程 计算机应用 计算机科学技术其他学科
搜索结果: 1-15 共查到计算机科学技术 Theory相关记录37条 . 查询时间(0.246 秒)
In this talk, we will consider the distributed sparse identification problem over wireless sensor networks such that all sensors cooperatively estimate the unknown sparse parameter vector of stochasti...
Game theory is a mathematical subject initiated by von Noiman and Morgernstem in an effort to model human behavior which has played a key role in economics, operations research and now Internet scienc...
Game theory is a mathematical subject initiated by von Noiman and Morgernstem in an effort to model human behavior which has played a key role in economics, operations research and now Internet scienc...
The 12th International Conference on Queueing Theory and Network Applications (QTNA2017) is a continuation of the series of successful QTNA conferences-QTNA2006 (Seoul, Korea), QTNA2007 (Kobe, Japan),...
Whether a nation should retaliate against a cyber attack is a complicated decision, and a new framework guided by game theory could help policymakers determine the best strategy.The "Blame Game" was d...
The IEEE Eighth International Conference on Biometrics: Theory, Applications, and Systems (BTAS 2016), a continuation of the highly successful BTAS conference series started in 2007, will be held in t...
The Fourteenth Theory of Cryptography Conference (TCC 2016-B) will be held in Beijing, China, from Oct. 31 to Nov. 3, 2016, and it will take place at Beijing Friendship Hotel, Beijing, China.
A Theory of Type Qualifiers     Theory  Type Qualifiers       2016/5/24
A Theory of Type Qualifiers.
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...
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. ...
Measuring network flow sizes is important for tasks like accounting/billing, network forensics and security. Per-flow accounting is considered hard because it requires that many counters b...
In this tutorial paper, we consider the problem of minimizing the rank of a matrix over a convex set. The Rank Minimization Problem (RMP) arises in diverse areas such as control, system identification...
The sets of contexts and properties of a concept are embedded in the complex Hilbert space of quantum mechanics. States are unit vectors or density operators, and contexts and properties are orthogona...
We propose a theory for modeling concepts that uses the state-context-property theory (SCOP), a generalization of the quantum formalism, whose basic notions are states, contexts and properties. This t...
Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal lev...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...