Sciweavers

1789 search results - page 232 / 358
» New analysis and results for the Frank-Wolfe method
Sort
View
SAS
1997
Springer
111views Formal Methods» more  SAS 1997»
15 years 5 months ago
Fast and Effective Procedure Inlining
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
Oscar Waddell, R. Kent Dybvig
AIED
2005
Springer
15 years 3 months ago
Evaluating Inquiry Learning Through Recognition-Based Tasks
The Rashi inquiry learning environment for human biology was evaluated using a new instrument for assessing gains in scientific inquiry skills. The instrument was designed to be se...
Tom Murray, Kenneth Rath, Beverly Park Woolf, Davi...
AIRS
2005
Springer
15 years 3 months ago
Effective Use of Place Information for Event Tracking
The main purpose of topic detection and tracking (TDT) is to detect, group, and organize newspaper articles reporting on the same event. Since an event is a reported occurrence at ...
Yun Jin, Sung-Hyon Myaeng, Mann-Ho Lee, Hyo-Jung O...
FM
2008
Springer
93views Formal Methods» more  FM 2008»
15 years 3 months ago
Finding Minimal Unsatisfiable Cores of Declarative Specifications
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson
NIPS
2007
15 years 3 months ago
SpAM: Sparse Additive Models
We present a new class of models for high-dimensional nonparametric regression and classification called sparse additive models (SpAM). Our methods combine ideas from sparse line...
Pradeep D. Ravikumar, Han Liu, John D. Lafferty, L...