1620 search results - page 233 / 324 » Testing Polymorphic Properties |
160
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
135
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...
113
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
Following Lutz’s approach to effective (constructive) dimension, we define a notion of dimension for individual sequences based on Schnorr’s concept(s) of randomness. In contr...
125
click to vote
CIS
2005
Springer
15 years 10 months ago
2005
Springer
⎯A new nonslicing floorplan representation, the moving block sequence (MBS), is proposed in this paper. Our idea of the MBS originates from the observation that placing blocks on...
168
click to vote
EUROCAST
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The design, development, construction and testing of an ArtificialVision controlled Traffic-Light prototype has been carried out to rule and regulate intersections. Metho...