10802 search results - page 1739 / 2161 » Generative and developmental systems |
156
Voted
ISM
2008
IEEE
16 years 1 months ago
2008
IEEE
At many universities, web lectures have become an integral part of the e-learning portfolio over the last few years. While many aspects of the technology involved, like automatic ...
180
click to vote
ISM
2008
IEEE
16 years 1 months ago
2008
IEEE
In the recent years, photo context metadata (e.g., date, GPS coordinates) have been proved to be useful in the management of personal photos. However, these metadata are still poo...
168
click to vote
ISPASS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This work addresses the problem of building representative subsets of benchmarks from an original large set of benchmarks, using statistical analysis techniques. The subsets sh...
165
Voted
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
178
Voted
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...