7121 search results - page 1232 / 1425 » Functions as Session-Typed Processes |
131
click to vote
ESAW
2000
Springer
15 years 8 months ago
2000
Springer
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
184
click to vote
IWAN
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
148
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract. This work addresses a class of total-variation based multilabeling problems over a spatially continuous image domain, where the data fidelity term can be any bounded fun...
130
click to vote
AAAI
2008
15 years 6 months ago
2008
2) a set of abstract drama manager; 3) a model of player response to drama manager actions; and 4) an author-specified evaluation function. The drama manager's task is to sele...
128
click to vote
AIPS
2008
15 years 6 months ago
2008
The current evaluation functions for heuristic planning are expensive to compute. In numerous domains these functions give good guidance on the solution, so it worths the computat...