494 search results - page 62 / 99 » Probabilistic Programming in Anglican |
76
Voted
SAFECOMP
2007
Springer
15 years 4 months ago
2007
Springer
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
90
Voted
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
Automatic facial expressions recognition using vision is an important subject towards human-robot interaction. Here is proposed a human face focus of attention technique and a faci...
ICSE
1997
IEEE-ACM
15 years 2 months ago
1997
IEEE-ACM
Testing methods are compared in a model where program failures are detected and the software changed to eliminate them. The question considered is whether it is better to use test...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We study information elicitation mechanisms in which a principal agent attempts to elicit the private information of other agents using a carefully selected payment scheme based o...
85
Voted
ICALP
1995
Springer
15 years 1 months ago
1995
Springer
We show that if a self-reducible set has polynomial-size circuits, then it is low for the probabilistic class ZPP(NP). As a consequence we get a deeper collapse of the polynomial-...