搜索结果: 1-15 共查到“知识库 Abstract”相关记录65条 . 查询时间(0.14 秒)
Optimal-Round Preprocessing-MPC via Polynomial Representation and Distributed Random Matrix (extended abstract)
MPC with preprocessing correlated randomness optimal round complexity
2019/9/16
We present preprocessing-MPC schemes of arithmetic functions with optimal round complexity, function-independent correlated randomness, and communication and space complexities that grow linearly with...
The presented work continues the line of recent distributed computing community efforts dedicated to the theoretical aspects of blockchains. This paper is the first to specify blockchains as a composi...
An Abstract Model of UTxO-based Cryptocurrencies with Scripts
Cryptocurrency Blockchain Validator-Redeemer Scripts
2018/5/23
In [1], an abstract accounting model for UTXO-based cryptocurrencies has been presented. However, that model considered only the simplest kind of transaction (known in Bitcoin as pay-to-pubkey-hash) a...
Converging evidence for abstract phonological knowledge in speech processing
talker perception infancy abstraction
2017/8/25
The perceptual processing of speech is a constant interplay of multiple competing albeit convergent processes: acoustic input vs. higher-level representations, universal mechanisms vs. language-specif...
Early development of abstract language knowledge: Evidence from perception-production transfer of birth-language memory
phonological acquisition international adoptees retention of early knowledge
2017/8/25
Children adopted early in life into another linguistic community typically forget their birth language but retain, unaware, relevant linguistic knowledge that may facilitate (re)learning of birth-lang...
Lattice-Based Techniques for Accountable Anonymity: Composition of Abstract Stern’s Protocols and Weak PRF with Efficient Protocols from LWR
Lattice-Based Cryptography Zero-Knowledge Arguments of Knowledge Privacy-Preserving Protocol
2017/8/17
In an accountable anonymous system, a user is guaranteed anonymity and unlinkability unless some well-defined condition is met. A line of research focus on schemes that do not rely on any trusted thir...
Expressive Power of Abstract Meaning Representations
Abstract grammatical meaning system translation logic current definition
2016/10/31
The syntax of abstract meaning representations (AMRs) can be defined recursively, and a systematic translation to first-order logic (FOL) can be specified, including a proper treatment of negation. AM...
Can Bayesian agents always be rational?A principled analysis of consistency of an Abstract Principal Principle
Bayesianism Principal Principle interpretation of probability
2016/6/15
The paper takes the Abstract Principal Principle to be a norm demanding that subjective degrees of belief of a Bayesian agent be equal to the objective probabilities once the agent has conditionalized...
Abstract and Complete
Abstract Complete
2016/5/30
There are two notions of abstraction that are often confused. The material view implies that the products of abstraction are not concrete. It is vulnerable to the criticism that abstracting introduces...
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
Optimal Representations Polymorphic Types Subtyping (Extended Abstract)
2016/5/24
Many type inference and program analysis systems include notions of subtyping and parametric polymorphism. When used together, these two features induce equivalences that allow types to be simplied b...
Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation
applications encrypted computation
2016/1/26
The rapid expansion and increased popularity of cloud computing comes with no shortage of privacy
concerns about outsourcing computation to semi-trusted parties. Leveraging the power of encryption, i...
Though preschoolers in certain experimental contexts strongly prefer to interpret ambiguous sentences
containing quantified NPs and negation on the basis of surface syntax (e.g., Musolino’s 1998
“ob...
"Sharing Knowledge: Roles of E-Learning in Creating the Global Learning Space" (Abstract)
Creating Global Learning Space
2015/8/24
E-Learning is rapidly changing the theory and practice of education and training,
indeed of all learning. The Global Learning Space in-the-making will make it possible
to learn everywhere from kno...
Are abstract concepts like dinosaur feathers?Objectification as a conceptual tool:evidence from language and gesture of English and Polish native speakers
Objectification theor conceptual metaphor abstract concepts concrete concepts concreteness metaphorical gesture blindness
2015/7/10
Studies based on the Contemporary Theory of Metaphor (Lakoff & Johnson, 1980, 1999) usually identify conceptual metaphors by analysing linguistic expressions and creating a post hoc interpretation of ...
Does generalization in infant learning implicate abstract algebra-like rules?
infant learning implicate abstract algebra-like rules
2015/6/19
Two recent papers1,2 suggest that infants well under a year old can learn from exposure to relatively short samples of language-like sequences of syllables. The first of these two papers, by Saffran a...