7121 search results - page 274 / 1425 » Functions as Session-Typed Processes |
160
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
For many real-life engineering optimization problems, the cost of one objective function evaluation can take several minutes or hours. In this context, a popular approach to reduce...
170
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
168
click to vote
NIPS
2001
15 years 8 months ago
2001
We present a principled and efficient planning algorithm for cooperative multiagent dynamic systems. A striking feature of our method is that the coordination and communication be...
154
click to vote
DAGM
2005
Springer
16 years 3 days ago
2005
Springer
We consider the problem of deblurring images which have been blurred by different reasons during image acquisition. We propose a variational approach admitting spatially variant an...
176
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...