4488 search results - page 456 / 898 » Focusing Search by Using Problem Solving Experience |
159
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
We address the problem of advice-taking in a given domain, in particular for building a game-playing program. Our approach to solving it strives for the application of machine lea...
160
click to vote
PODC
1997
ACM
15 years 10 months ago
1997
ACM
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...
191
click to vote
ANNPR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Decomposition techniques are used to speed up training support vector machines but for linear programming support vector machines (LP-SVMs) direct implementation of decom...
174
Voted
CEAS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we detail the use of e-mail social network analysis for the detection of security policy violations on computer systems. We begin by formalizing basic policies that ...
164
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...