3362 search results - page 150 / 673 » A definition of subjective possibility |
178
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
164
click to vote
PR
2006
2006
Correspondence matching using kernel principal components analysis and label consistency constraints
15 years 6 months ago
This paper investigates spectral approaches to the problem of point pattern matching. We make two contributions. First, we consider rigid point-set alignment. Here we show how ker...
157
click to vote
SIAMSC
2008
15 years 6 months ago
2008
Abstract. We present a new derivative-free algorithm, ORBIT, for unconstrained local optimization of computationally expensive functions. A trust-region framework using interpolati...
148
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract--This paper compares two evaluation criterion frameworks for sociotechnical software. Research on the technology acceptance model (TAM) confirms that perceived usefulness ...
140
click to vote
SIAMAM
2000
15 years 6 months ago
2000
This paper deduces a new model aimed at simulating injection molding processes under isothermal conditions. These processes can be generally stated as infiltration problems in init...