7404 search results - page 420 / 1481 » New Tools in Education |
175
click to vote
STTT
2008
15 years 6 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
169
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In their seminal paper in the ACM Transactions on Software Engineering and Methodology, Zave and Jackson established a core ontology for Requirements Engineering (RE) and used it ...
165
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
The ongoing paradigm change in the scholarly publication system (`science is turning to e-science') makes it necessary to construct alternative evaluation criteria/metrics wh...
183
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract-- In evolutionary algorithms, the fitness of a population increases with time by mutating and recombining individuals and by a biased selection of more fit individuals. Th...
178
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Sequential change diagnosis is the joint problem of detection and identification of a sudden and unobservable change in the distribution of a random sequence. In this problem, the...