1901 search results - page 145 / 381 » Predicting Program Properties from |
107
click to vote
TCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...
113
click to vote
MOR
2002
15 years 2 months ago
2002
ngly better objective function value until an optimal solution is reached. From an abstract point of view, an augmentation problem is solved in each iteration. That is, given a fea...
136
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...
109
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
139
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...