10910 search results - page 222 / 2182 » Input modeling using a computer algebra system |
151
click to vote
TAMC
2009
Springer
15 years 12 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
139
click to vote
IJKESDP
2011
14 years 8 months ago
2011
—Today, researches for singing by computer have attracted attention. VOCALOID1 is an application to realize that aim. By inputing lyrics and melody, users can make songs sung by ...
146
click to vote
COCO
2009
Springer
15 years 12 months ago
2009
Springer
We study the task of randomness extraction from sources which are distributed uniformly on an unknown algebraic variety. In other words, we are interested in constructing a functi...
141
click to vote
DAC
2008
ACM
16 years 6 months ago
2008
ACM
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...
141
click to vote
TCC
2007
Springer
15 years 11 months ago
2007
Springer
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...