Sciweavers

2038 search results - page 103 / 408
» Probabilistic Agent Programs
Sort
View
93
Voted
OOPSLA
2010
Springer
15 years 29 days ago
Programming with time: cyber-physical programming with impromptu
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
Andrew Sorensen, Henry Gardner
112
Voted
IFIP
2010
Springer
15 years 7 months ago
Grasp Exploration for 3D Object Shape Representation Using Probabilistic Map
In this work it is shown the representation of 3D object shape acquired from grasp exploration. Electromagnetic motion tracking sensors are used on the fingers for object contour f...
Diego R. Faria, Ricardo Martins, Jorge Dias
APLAS
2007
ACM
15 years 6 months ago
Timed, Distributed, Probabilistic, Typed Processes
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
Martin Berger, Nobuko Yoshida
142
Voted
POPL
2012
ACM
13 years 10 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...
126
Voted
LPNMR
2004
Springer
15 years 8 months ago
Probabilistic Reasoning With Answer Sets
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
Chitta Baral, Michael Gelfond, J. Nelson Rushton