7623 search results - page 1231 / 1525 » Constructive Volume Modeling |
137
click to vote
TCC
2009
Springer
16 years 5 months ago
2009
Springer
It is well known that general secure function evaluation (SFE) with information-theoretical (IT) security is infeasible in presence of a corrupted majority in the standard model. ...
139
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Users of modern GUIs routinely engage in visual searches for various control items, such as buttons and icons. Because this is so ubiquitous, it is important that the visual prope...
133
Voted
RECOMB
2002
Springer
16 years 4 months ago
2002
Springer
We introduce a model of DNA sequence evolution which can account for biases in mutation rates that depend on the identity of the neighboring bases. An analytic solution for this c...
138
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
234
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...