1598 search results - page 245 / 320 » A Unified Computation Model for Functional and Logic Program... |
392
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
135
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
Many surfaces can be modeled by interpolating data points digitized from existing products. But the digitized data points could have measuring errors. To adjust the points, fairing...
154
click to vote
EOR
2010
15 years 6 months ago
2010
In the Attractive Traveling Salesman Problem the vertex set is partitioned into facility vertices and customer vertices. A maximum profit tour must be constructed on a subset of t...
193
click to vote
ASIACRYPT
2011
Springer
14 years 6 months ago
2011
Springer
The assumption of the availability of tamper-proof hardware tokens has been used extensively in the design of cryptographic primitives. For example, Katz (Eurocrypt 2007) suggests ...
168
click to vote
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
Illustrations play a major role in the education process. Whether used to teach a surgical or radiologic procedure, to illustrate normal or aberrant anatomy, or to explain the fun...