5090 search results - page 492 / 1018 » Constructing Strategies for Programming |
199
click to vote
ICDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...
221
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
168
click to vote
WMTE
2006
IEEE
16 years 1 months ago
2006
IEEE
Practitioners interested in integrating mobile technology effectively into distance learning programs need to consider both the benefits and limitations of such devices. This pape...
175
click to vote
STEP
2005
IEEE
16 years 18 days ago
2005
IEEE
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
224
click to vote
AIIA
2005
Springer
16 years 17 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...