5090 search results - page 331 / 1018 » Constructing Strategies for Programming |
138
click to vote
AIEDU
2007
15 years 5 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
118
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: There are several situations in population biology research where simulating DNA sequences is useful. Simulation of biological populations under different evolutionary...
146
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
178
click to vote
EUROGP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Wireless sensor networks (WSNs) are medium scale manifestations of a paintable or amorphous computing paradigm. WSNs are becoming increasingly important as they attain gr...
162
Voted
WINE
2010
Springer
15 years 2 months ago
2010
Springer
Online auctions in which items are sold in an online fashion with little knowledge about future bids are common in the internet environment. We study here a problem in which an auc...