Sciweavers

12438 search results - page 97 / 2488
» The Magic of a Number System
Sort
View
ICALT
2010
IEEE
13 years 6 months ago
The Design and Application of an Automatic Course Generation System for Large-Scale Education
—In China, the number of online learners who attend formal education has quadrupled in the last 5 years to 8.2 millions until the end of 2008. How can online teachers build and u...
Xiaohong Tan, Carsten Ullrich, Yan Wang, Ruimin Sh...
STOC
2007
ACM
132views Algorithms» more  STOC 2007»
14 years 8 months ago
On the convergence of Newton's method for monotone systems of polynomial equations
Monotone systems of polynomial equations (MSPEs) are systems of fixed-point equations X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where each fi is a polynomial with p...
Stefan Kiefer, Michael Luttenberger, Javier Esparz...
ICC
2007
IEEE
117views Communications» more  ICC 2007»
14 years 2 months ago
A Two-Dimensional Linear Pre-Transformed (2DLPT) MIMO-OFDM System
— We propose an open-loop two-dimensional linear pre-transformed (2DLPT) multiple-input multipleoutput (MIMO) orthogonal frequency division multiplexing (OFDM) system. The nT N ...
Sumei Sun, Yan Wu, Tjeng Thiang Tjhung
CSL
2004
Springer
14 years 1 months ago
Parameterized Model Checking of Ring-Based Message Passing Systems
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems,  ¢¡ , comprised of finite, but arbitrarily many,...
E. Allen Emerson, Vineet Kahlon
AMET
1998
Springer
14 years 12 days ago
Bid Evaluation and Selection in the MAGNET Automated Contracting System
We present an approach to the bid-evaluation problem in a system for multi-agent contract negotiation, called MAGNET. The MAGNET market infrastructure provides support for a variet...
Erik S. Steinmetz, John Collins, Scott Jamison, Ra...