799 search results - page 108 / 160 » Improving the feasibility pump |
102
click to vote
COLT
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The classical perceptron algorithm is an elementary algorithm for solving a homogeneous linear inequality system Ax > 0, with many important applications in learning t...
REFSQ
2010
Springer
15 years 3 months ago
2010
Springer
[Context and motivation] In Requirements Management, ontologies are used to reconcile gaps in the knowledge and common understanding among stakeholders during requirement elicitati...
109
click to vote
DSN
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents the design and implementation of a real-time behavior profiling system for high-speed Internet links. The profiling system uses flow-level information from con...
107
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
ACSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
We map intrusion events to known exploits in the network attack graph, and correlate the events through the corresponding attack graph distances. From this, we construct attack sc...