Sciweavers

22864 search results - page 4254 / 4573
» An Integrated and
Sort
View
165
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
An exploratory study of the evolution of software licensing
Free and open source software (FOSS) is distributed and made available to users under different software licenses, mentioned in FOSS code by means of licensing statements. Variou...
Massimiliano Di Penta, Daniel M. Germán, Ya...
ITS
2010
Springer
157views Multimedia» more  ITS 2010»
15 years 11 months ago
A Computational Model of Accelerated Future Learning through Feature Recognition
Accelerated future learning, in which learning proceeds more effectively and more rapidly because of prior learning, is considered to be one of the most interesting measures of ro...
Nan Li, William W. Cohen, Kenneth R. Koedinger
KR
2010
Springer
15 years 11 months ago
One Hundred Prisoners and a Lightbulb - Logic and Computation
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
Hans P. van Ditmarsch, Jan van Eijck, William Wu
CDC
2009
IEEE
111views Control Systems» more  CDC 2009»
15 years 11 months ago
Quotient method for controlling the acrobot
— This paper describes a two-sweep control design method to stabilize the acrobot, an input-affine under-actuated system, at the upper equilibrium point. In the forward sweep, t...
Sudarsandhari Shibani Willson, Philippe Müllh...
CDC
2009
IEEE
185views Control Systems» more  CDC 2009»
15 years 11 months ago
Discrete Empirical Interpolation for nonlinear model reduction
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...
Saifon Chaturantabut, Danny C. Sorensen
« Prev « First page 4254 / 4573 Last » Next »