2340 search results - page 11 / 468 » Second quarter 2008 |
FUIN
2008
15 years 23 days 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...
109
Voted
JSAT
2008
15 years 20 days 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 ...
102
Voted
NECO
2008
15 years 19 days 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...
101
Voted
SIAMCO
2008
15 years 19 days 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
15 years 10 days 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 ...