860 search results - page 137 / 172 » Completeness in two-party secure computation: a computationa... |
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
We define and develop a solution approach for planning, scheduling and managing project efforts where there is significant uncertainty in the duration, resource requirements and o...
ICVS
2003
Springer
15 years 3 months ago
2003
Springer
We consider typical manipulation tasks in terms of a service robot framework. Given a task at hand, such as ”Pick up the cup from the dinner table”, we present a number of diff...
CAV
2001
Springer
15 years 2 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
LICS
1990
IEEE
15 years 1 months ago
1990
IEEE
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
In an evolutionary algorithm, the population has a very important role as its size has direct implications regarding solution quality, speed, and reliability. Theoretical studies ...