1471 search results - page 239 / 295 » Church: a language for generative models |
125
click to vote
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
119
click to vote
AIED
2007
Springer
15 years 8 months ago
2007
Springer
Rules have been showed to be appropriate representations to model tutoring and can be easily applied to intelligent tutoring systems. We applied a machine learning technique, Class...
127
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Ring signatures, introduced by Rivest, Shamir and Tauman, enable a user to sign a message anonymously on behalf of a “ring”. A ring is a group of users, which includes the sign...
114
click to vote
WIA
2007
Springer
15 years 8 months ago
2007
Springer
It has been known since 1962 that the ambiguity problem for context-free grammars is undecidable. Ambiguity in context-free grammars is a recurring problem in language design and p...
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...