16666 search results - page 283 / 3334 » Descriptive and Computational Complexity |
137
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
146
click to vote
ACL
2004
15 years 8 months ago
2004
We show that a practical translation of MRS descriptions into normal dominance constraints is feasible. We start from a recent theoretical translation and verify its assumptions o...
157
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
The problem of cooperatively performing a collection of tasks in a decentralized setting where the computing medium is subject to adversarial perturbations is one of the fundament...
193
click to vote
EGH
2003
Springer
15 years 12 months ago
2003
Springer
We present a novel approach for fast collision detection between multiple deformable and breakable objects in a large environment using graphics hardware. Our algorithm takes into...
186
click to vote
FOCS
2006
IEEE
16 years 21 days ago
2006
IEEE
We put forward a first definition of general secure computation that, without any trusted set-up, • handles an arbitrary number of concurrent executions; and • is implementa...