2909 search results - page 206 / 582 » Consistency of the theory of contexts |
152
click to vote
IPL
2007
15 years 6 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...
156
click to vote
SIAMCO
2000
15 years 6 months ago
2000
In a financial market consisting of a nonrisky asset and a risky one, we study the minimal initial capital needed in order to superreplicate a given contingent claim under a gamma ...
146
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect an...
168
click to vote
IJPRAI
2008
15 years 6 months ago
2008
The biometric verification task is to determine whether or not an input and a template belong to the same individual. In the context of automatic fingerprint verification the task...
143
click to vote
IJBIDM
2010
15 years 5 months ago
2010
: In an urban area, the demand for taxis is not always matched up with the supply. This paper proposes mining historical data to predict demand distributions with respect to contex...