Sciweavers

303 search results - page 17 / 61
» Challenging the Mathematics Curriculum
Sort
View
COMPUTER
2007
153views more  COMPUTER 2007»
13 years 8 months ago
The Discipline of Embedded Systems Design
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
Thomas A. Henzinger, Joseph Sifakis
CAINE
2007
13 years 9 months ago
Wildcards in Math Search, Implementation Issues
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
Moody Ebrahem Altamimi, Abdou S. Youssef
GECCO
2010
Springer
194views Optimization» more  GECCO 2010»
14 years 22 days ago
Fitting multi-planet transit models to photometric time-data series by evolution strategies
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
Andreas M. Chwatal, Günther R. Raidl, Michael...
JMLR
2006
108views more  JMLR 2006»
13 years 7 months ago
The Interplay of Optimization and Machine Learning Research
The fields of machine learning and mathematical programming are increasingly intertwined. Optimization problems lie at the heart of most machine learning approaches. The Special T...
Kristin P. Bennett, Emilio Parrado-Hernánde...
SIGCSE
2010
ACM
219views Education» more  SIGCSE 2010»
14 years 1 months ago
The design of an online environment to support pedagogical code reviews
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
Christopher D. Hundhausen, Anukrati Agrawal, Kyle ...