11151 search results - page 234 / 2231 » On the Complexity of Model Expansion |
171
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— One of the most important problems in Mobile Robotics is to realise the complete robot’s autonomy. In order to achieve this goal several tasks have to be accomplished. Among ...
172
click to vote
ICALP
2005
Springer
16 years 22 days ago
2005
Springer
We develop a new method for estimating the discrepancy of tensors associated with multiparty communication problems in the “Number on the Forehead” model of Chandra, Furst and...
157
click to vote
ICALP
2005
Springer
16 years 22 days 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...
241
click to vote
TIME
2003
IEEE
16 years 15 days ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
186
click to vote
CRYPTO
2006
Springer
15 years 11 months ago
2006
Springer
We present a robust multiparty computation protocol. The protocol is for the cryptographic model with open channels and a polytime adversary, and allows n parties to actively secur...