1795 search results - page 234 / 359 » On the Complexity of Circuit Satisfiability |
104
Voted
ACL
1993
15 years 2 months ago
1993
There is a need to develop a suitable computational grammar formalism for free word order languages for two reasons: First, a suitably designed formalism is likely to be more effi...
117
click to vote
AIIDE
2009
15 years 1 months ago
2009
A drama manager (DM) monitors an interactive experience, such as a computer game, and intervenes to shape the global experience so that it satisfies the author's expressive g...
116
Voted
PODC
2010
ACM
15 years 1 months ago
2010
ACM
Mutual exclusion is used to coordinate access to shared resources by concurrent processes. k-Exclusion is a variant of mutual exclusion in which up to k processes can simultaneous...
79
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
In this paper, we present a very important primitive called Information Checking Protocol (ICP) which plays an important role in constructing statistical Verifiable Secret Sharing...
90
Voted
CGF
2006
15 years 26 days ago
2006
In this paper we describe a new method for generating and controlling physically-realistic motion of complex articulated characters. Our goal is to create motion from scratch, whe...