Filters








53 Hits in 2.9 sec

Deep Specifications and Certified Abstraction Layers

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo
2015 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15  
It is also supported in part by China Scholarship Council and National Natural Science Foundation of China (NSFC grants 61229201 and 61202052).  ...  This research is based on work supported in part by DARPA grants FA8750-10-2-0254 and FA8750-12-2-0293, NSF grants 1065451 and 0915888, and ONR Grant N00014-12-1-0478.  ...  It is unclear how to fit these two different languages into a single setting.  ... 
doi:10.1145/2676726.2676975 dblp:conf/popl/GuKRSWWZG15 fatcat:fqfoza7fg5gxxoop4ihhu5dlgi

Rational Beliefs Real Agents Can Have - A Logical Point of View

Marcello D'Agostino, Tommaso Flaminio, Hykel Hosni
2016 Neural Information Processing Systems  
The purpose of this note is to outline a framework for uncertain reasoning which drops unrealistic assumptions about the agents' inferential capabilities.  ...  To do so, we envisage a pivotal role for the recent research programme of depth-bounded Boolean logics (D' Agostino et al., 2013).  ...  Against the logic norm: the argument from tractability Recall that classical propositional logic is decidable in the sense that for each sentence θ of the language there is an effective procedure to decide  ... 
dblp:conf/nips/DAgostinoFH16 fatcat:ipsvpxvgivhnlnssayl6fabvgu

A Probabilistic Model for Information Retrieval Based on Maximum Value Distribution

Jiaul H. Paik
2015 Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval - SIGIR '15  
The main goal of a retrieval model is to measure the degree of relevance of a document with respect to the given query.  ...  Thus, the weight of a term in a document is proportional to the probability that the normalized frequency of that term is maximum under the hypothesis that the frequencies are generated randomly.  ...  This phenomenon is known as word burstiness [18] and is a type of dependency that is not modelled in the multinomial language model. Cummins et al.  ... 
doi:10.1145/2766462.2767762 dblp:conf/sigir/Paik15 fatcat:z6bpb2pfabdbhd2ugo5oirk4ju

Secured Friending in Proximity based Mobile Social Network

Y Vidya, B Shemimol
2015 Journal of excellence in Computer Science and Engineering  
In recent days there is a tremendous rise in the need of proximity based mobile social networks.  ...  In this paper we also provide security for the shared data associated with multiple users with the help of a multi-party access control model which is the secondary goal of our system.  ...  Two privacy levels are set up viz PL1 and PL2. PL1 is achieved using basic scheme and PL2 using advanced scheme. User set up his privacy level while registering with a PMSN.  ... 
doi:10.18831/djcse.in/2015021001 fatcat:s6zpfp7emjfw5ncbabv4mstape

A Logic-based Tractable Approximation of Probability [article]

Paolo Baldi, Hykel Hosni
2022 arXiv   pre-print
We provide a logical framework in which a resource-bounded agent can be seen to perform approximations of probabilistic reasoning. Our main results read as follows.  ...  Second we show that under rather palatable restrictions, our approximations of probability lead to uncertain reasoning which, under the usual assumptions in the field, qualifies as tractable.  ...  We are also very grateful to two anonymous reviewers for their unrestrained criticisms, which certainly lead this to becoming a much better paper.  ... 
arXiv:2205.03198v1 fatcat:7yezk63uhrbffl6jsxo5xtd5y4

A corpus of K'iche' annotated for morphosyntactic structure

Francis Tyers, Robert Henderson
2021 Proceedings of the First Workshop on Natural Language Processing for Indigenous Languages of the Americas   unpublished
This article describes a collection of sentences in K'iche' annotated for morphology and syntax. K'iche' is a language in the Mayan language family, spoken in Guatemala.  ...  The corpus consists of a total of 1,433 sentences containing approximately 10,000 tokens and is released under a free/open-source licence.  ...  This comes at a Straka et al. (2016) Straka (2018) substantial increase in model size and training time compared to UDPipe 1.0, but results in a model that is still tractable on a consumer-grade  ... 
doi:10.18653/v1/2021.americasnlp-1.2 fatcat:eyumtxu5kbdpdgcbrojopxonsa

Suppletion in person forms: the role of iconicity and frequency [chapter]

Anna Siewierska, Dik Bakker
Languages Across Boundaries  
A related problem to the above, be it more tractable, is that some languages have several forms for one person-number combination while others have just one.  ...  question, as in (6) below, from Izon, a Niger-Congo language from Nigeria. (6) Izon (Williamson 1965: 114) sg1: ari5 pl1: wónì4 sg2: árì4 pl2: ǫmínì4 sg3: ari5 pl3: ǫmínì5 Measuring the degree of  ... 
doi:10.1515/9783110331127.347 fatcat:gvx4rjclnrgetpjfi6pkvx2x5a

Engineering Ontologies using Semantic Patterns

Steffen Staab, Michael Erdmann, Alexander Maedche
2001 International Joint Conference on Artificial Intelligence  
Interoperability is one of the major design objectives when building applications for B2B and Semantic Web applications.  ...  In this paper, we present a methodology for engineering semantic knowledge such that these semantic structures are easier reusable when switching between several representation languages.  ...  OIL is intended as a common core language that is more powerful than RDF, but is intended to provide a basic layer rather than a language "all singing all dancing".  ... 
dblp:conf/ijcai/StaabEM01 fatcat:6rewo5yykffvnoyl36jbiwqx3a

Say Anything

Reid Swanson, Andrew S. Gordon
2012 ACM transactions on interactive intelligent systems (TiiS)  
This capacity for open-domain interactive storytelling is enabled by an extremely large repository of nonfiction personal stories, which is used as a knowledge base in a case-based reasoning architecture  ...  In this article, we describe the three main components of our case-based reasoning approach: a million-item corpus of personal stories mined from internet weblogs, a case retrieval strategy that is optimized  ...  This is a concern shared with other sequential problems that must make a Markovian assumption to maintain tractability.  ... 
doi:10.1145/2362394.2362398 fatcat:d3aw4kthnvcfdixyj7zio4d4hy

Deterministic process logic is elementary

Joseph Y. Halpern
1983 Information and Control  
Process logic (PL) is a language for reasoning about the behavior of a program during a computation, while propositional dynamic logic (PDL) can only reason about the input-output states of a program.  ...  a PDL formula pt, whose length is linear in that of p, such that p is true of a path in M iffp ~ is true of the state which represents that path in Mq Then it is shown that p is satisfiable iffp ~ is  ...  ACKNOWLEDGMENTS Rohit Parikh was a major source of inspiration for this paper.  ... 
doi:10.1016/s0019-9958(83)80025-4 fatcat:u7k2i65ftnhy7k6oo2k2m66x7u

Deep Specifications and Certified Abstraction Layers

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo
2015 SIGPLAN notices  
It is also supported in part by China Scholarship Council and National Natural Science Foundation of China (NSFC grants 61229201 and 61202052).  ...  This research is based on work supported in part by DARPA grants FA8750-10-2-0254 and FA8750-12-2-0293, NSF grants 1065451 and 0915888, and ONR Grant N00014-12-1-0478.  ...  It is unclear how to fit these two different languages into a single setting.  ... 
doi:10.1145/2775051.2676975 fatcat:yfqgugovpvf5dpbfmtjrib7rue

Depth-bounded belief functions

Paolo Baldi, Hykel Hosni
2020 International Journal of Approximate Reasoning  
Of particular relevance for our present purposes is Shafer's own later ✩  ...  This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).  ...  by letting a function from the formulas F m L of a language L to the real unit interval be a probability function if (PL1) |= θ ⇒ P (θ) = 1 (PL2) |= ¬(θ ∧ φ) ⇒ P (θ ∨ φ) = P (θ) + P (φ).  ... 
doi:10.1016/j.ijar.2020.05.001 fatcat:wrnzakrgsvdxzarop33cfaf2l4

Deterministic process logic is elementary

Joseph Y. Halpern
1982 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)  
Process logic (PL) is a language for reasoning about the behavior of a program during a computation, while propositional dynamic logic (PDL) can only reason about the input-output states of a program.  ...  a PDL formula pt, whose length is linear in that of p, such that p is true of a path in M iffp ~ is true of the state which represents that path in Mq Then it is shown that p is satisfiable iffp ~ is  ...  ACKNOWLEDGMENTS Rohit Parikh was a major source of inspiration for this paper.  ... 
doi:10.1109/sfcs.1982.16 dblp:conf/focs/Halpern82 fatcat:dkgivpgetfhnbojhmxv6fqmwey

Explicit web search result diversification

Rodrygo L.T. Santos
2012 SIGIR Forum  
Language Model Estimation A key issue for the effectiveness of language modelling approaches is the estimation of a language model (Zhai & Lafferty, 2004) .  ...  As a result, it seems plausible to refactor the probability p(d,D q |q, s) into a more tractable form.  ... 
doi:10.1145/2492189.2492205 fatcat:g3f4j6r6ivhtzbm6mfi2zigsm4

Modeling acoustic transitions in speech by state-interpolation hidden Markov models

L. Deng, P. Kenny, M. Lennig, P. Mermelstein
1992 IEEE Transactions on Signal Processing  
When incorporated into an isolated word recognizer with a 75 000 word vocabulary we find that it leads to a modest improvement in recognition rates.  ...  We present a new type of HMM for vowel-to-consonant (VC) and consonant-to-vowel (CV) transitions based on the locus theory of speech perception.  ...  In the experiments reported here, no language model was used (so homophone confusions are not considered as errors). 'For our purposes it IS inappropriate to treat /hi as a consonant.  ... 
doi:10.1109/78.124937 fatcat:tinqvmplcvgazcmvhmt6fw2kdy
« Previous Showing results 1 — 15 out of 53 results