Sciweavers

222 search results - page 28 / 45
» PCLOS: A Critical Review
Sort
View
MP
2006
107views more  MP 2006»
13 years 7 months ago
Convergence theory for nonconvex stochastic programming with an application to mixed logit
Monte Carlo methods have been used extensively in the area of stochastic programming. As with other methods that involve a level of uncertainty, theoretical properties are required...
Fabian Bastin, Cinzia Cirillo, Philippe L. Toint
ASSETS
2007
ACM
13 years 11 months ago
SAMBA: a semi-automatic method for measuring barriers of accessibility
Although they play an important role in any assessment procedure, web accessibility metrics are not yet well developed and studied. In addition, most metrics are geared towards co...
Giorgio Brajnik, Raffaella Lomuscio
ICSE
2000
IEEE-ACM
13 years 11 months ago
Verification of time partitioning in the DEOS scheduler kernel
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
John Penix, Willem Visser, Eric Engstrom, Aaron La...
ACMSE
2008
ACM
13 years 9 months ago
Studio-based learning in CS2: an experience report
Recently there has been a surge of interest in making computer science education attractive to potential students, motivating to current students, and relevant to graduating stude...
Lakshman Myneni, Margaret Ross, T. Dean Hendrix, N...
CORR
2007
Springer
94views Education» more  CORR 2007»
13 years 7 months ago
Exploring the academic invisible web
Purpose: To provide a critical review of Bergman’s 2001 study on the Deep Web. In addition, we bring a new concept into the discussion, the Academic Invisible Web (AIW). We defi...
Dirk Lewandowski, Philipp Mayr