2340 search results - page 11 / 468 » Second quarter 2008 |
FUIN
2008
13 years 11 months ago
2008
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...
JSAT
2008
13 years 11 months ago
2008
We describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the ...
NECO
2008
13 years 11 months ago
2008
Iterative learning algorithms that approximate the solution of support vector machines (SVMs) have two potential advantages. First, they allow for online and active learning. Seco...
SIAMCO
2008
13 years 11 months ago
2008
We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this...
TIT
2002
13 years 10 months ago
2002
In this paper we explore some dynamic characteristics of the envelope of a bandpass Gaussian process, which are of interest in wireless fading channels. Specifically, we show that ...