7117 search results - page 49 / 1424 » IT Governance Frameworks as Methods |
100
click to vote
ENTCS
2008
14 years 11 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
116
click to vote
DAWAK
2001
Springer
15 years 3 months ago
2001
Springer
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...
ISCAS
1999
IEEE
15 years 3 months ago
1999
IEEE
Ideal power converters are governed by differential equations with discontinuous right-hand sides. General-purpose algorithms to compute their Lyapunov exponents assume smooth equ...
PRL
2008
14 years 11 months ago
2008
This paper introduces a simple evaluation function for multiple instance learning that admits an optimistic pruning strategy. We demonstrate comparable results to state of the art...
96
Voted
SCALESPACE
2009
Springer
15 years 5 months ago
2009
Springer
In the recent decades the ROF model (total variation (TV) minimization) has made great successes in image restoration due to its good edge-preserving property. However, the non-di�...