DC Field | Value | Language |
---|---|---|
dc.contributor.author | Park, S | - |
dc.contributor.author | Pfenning, F | - |
dc.contributor.author | Thrun, S | - |
dc.date.accessioned | 2016-04-01T08:41:11Z | - |
dc.date.available | 2016-04-01T08:41:11Z | - |
dc.date.created | 2009-08-18 | - |
dc.date.issued | 2008-12 | - |
dc.identifier.issn | 0164-0925 | - |
dc.identifier.other | 2009-OAK-0000017772 | - |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/28538 | - |
dc.description.abstract | As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages which treat probability distributions as primitive datatypes. Most probabilistic languages, however, focus only on discrete distributions and have limited expressive power. This article presents a probabilistic language, called lambda(circle), whose expressive power is beyond discrete distributions. Rich expressiveness of lambda(circle) is due to its use of sampling functions, that is, mappings from the unit interval ( 0.0, 1.0] to probability domains, in specifying probability distributions. As such, lambda(circle) enables programmers to formally express and reason about sampling methods developed in simulation theory. The use of lambda(circle) is demonstrated with three applications in robotics: robot localization, people tracking, and robotic mapping. All experiments have been carried out with real robots. | - |
dc.description.statementofresponsibility | X | - |
dc.language | English | - |
dc.publisher | ASSOC COMPUTING MACHINERY | - |
dc.relation.isPartOf | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - |
dc.subject | Languages | - |
dc.subject | Experimentation | - |
dc.subject | Probabilistic language | - |
dc.subject | probability distribution | - |
dc.subject | sampling function | - |
dc.subject | robotics | - |
dc.title | A PROBABILISTIC LANGUAGE BASED ON SAMPLING FUNCTIONS | - |
dc.type | Article | - |
dc.contributor.college | 컴퓨터공학과 | - |
dc.identifier.doi | 10.1145/1452044.1452048 | - |
dc.author.google | Park, S | - |
dc.author.google | Pfenning, F | - |
dc.author.google | Thrun, S | - |
dc.relation.volume | 31 | - |
dc.relation.issue | 1 | - |
dc.contributor.id | 10165554 | - |
dc.relation.journal | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - |
dc.relation.index | SCI급, SCOPUS 등재논문 | - |
dc.relation.sci | SCI | - |
dc.collections.name | Journal Papers | - |
dc.type.rims | ART | - |
dc.identifier.bibliographicCitation | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.31, no.1 | - |
dc.identifier.wosid | 000262394800004 | - |
dc.date.tcdate | 2019-02-01 | - |
dc.citation.number | 1 | - |
dc.citation.title | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - |
dc.citation.volume | 31 | - |
dc.contributor.affiliatedAuthor | Park, S | - |
dc.identifier.scopusid | 2-s2.0-57849134671 | - |
dc.description.journalClass | 1 | - |
dc.description.journalClass | 1 | - |
dc.description.wostc | 8 | - |
dc.type.docType | Article | - |
dc.subject.keywordAuthor | Languages | - |
dc.subject.keywordAuthor | Experimentation | - |
dc.subject.keywordAuthor | Probabilistic language | - |
dc.subject.keywordAuthor | probability distribution | - |
dc.subject.keywordAuthor | sampling function | - |
dc.subject.keywordAuthor | robotics | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
library@postech.ac.kr Tel: 054-279-2548
Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.