7121 search results - page 141 / 1425 » Functions as Session-Typed Processes |
174
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
101
click to vote
CANDC
2002
ACM
15 years 2 months ago
2002
ACM
Previous research investigating sketching processes during object visualisation and design has indicated that drawing occurs in a primarily part-by-part manner, whereby the compon...
144
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We propose a method for estimating camera response functions using a probabilistic intensity similarity measure. The similarity measure represents the likelihood of two intensity ...
119
click to vote
DAC
2001
ACM
16 years 4 months ago
2001
ACM
An approach for factoring general boolean functions was described in [15, 16] which is based on graph partitioning algorithms. In this paper, we present a very fast algorithm for ...
141
click to vote
ICML
1998
IEEE
16 years 3 months ago
1998
IEEE
Production scheduling, the problem of sequentially con guring a factory to meet forecasted demands, is a critical problem throughout the manufacturing industry. The requirement of...