796 search results - page 89 / 160 » An Overview of Separation Logic |
122
click to vote
ANOR
2008
15 years 4 months ago
2008
In this paper, we consider several discrete-time priority queues with priority jumps. In a priority scheduling scheme with priority jumps, real-time and non-real-time packets arri...
120
click to vote
CN
2010
15 years 4 months ago
2010
The natural world is enormous, dynamic, incredibly diverse, and highly complex. Despite the inherent challenges of surviving in such a world, biological organisms evolve, self-org...
107
click to vote
CN
1998
15 years 4 months ago
1998
This paper presents a Guided tour system for the WWW, called Ariadne, which implements the ideas of trails and guided tours, originating from the hypertext field. Ariadne appears ...
138
click to vote
DATAMINE
1998
15 years 4 months ago
1998
The tutorial starts with an overview of the concepts of VC dimension and structural risk minimization. We then describe linear Support Vector Machines (SVMs) for separable and non-...
127
click to vote
CN
1999
15 years 4 months ago
1999
We describe Bro, a stand-alone system for detecting network intruders in real-time by passively monitoring a network link over which the intruder's traffic transits. We give ...