搜索结果: 1-15 共查到“计算机科学技术 Theory”相关记录37条 . 查询时间(0.307 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Distributed sparse identification theory and method
分布式 稀疏识别 理论方法
2023/11/29
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...
三亚国际数学论坛：算法博弈论与互联网经济学（Algorithmic Game Theory and Internet Economics）
三亚国际数学论坛 算法博弈论 互联网经济学
2018/1/11
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...
三亚国际数学论坛：Algorithmic Game Theory and Internet Economics
三亚国际数学 论坛 Algorithmic Game Theory and Internet Economics
2017/11/24
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）
第十二届 排序理论与网络应用 国际会议
2017/3/9
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...
2016 IEEE 8th International Conference on Biometrics Theory, Applications and Systems (BTAS)
image processing pattern recognition
2016/7/28
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...
Fourteenth IACR Theory of Cryptography Conference - TCC 2016-B
information security cryptology,
2016/7/19
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.
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...
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. ...
Detailed Network Measurements Using Sparse Graph Counters: The Theory
Measuring the network traffic network counter memory storage counters
2015/8/21
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...
Rank minimization and applications in system theory
Matrix the convex set system identification statistics signal processing
2015/8/11
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...
A theory of concepts and their combinations II: A Hilbert space representation
concept combination conjunction context entanglement exemplar Hilbert space mathematical model prototype potentiality quantum representation state structure
2015/8/3
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...
A theory of concepts and their combinations I: The structure of the sets of contexts and properties
concept conjunction combination context entanglement exemplar mathematical model prototype potentiality quantum representation state structure
2015/8/3
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...
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory
Speech Act Calculus Natural Deduction Logic Pragmatisation
2015/7/21
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...