11665 search results - page 2101 / 2333 » Human computing for EDA |
DSVIS
2003
Springer
15 years 4 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
DSVIS
2003
Springer
15 years 4 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
DSVIS
2003
Springer
15 years 4 months ago
2003
Springer
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
DSVIS
2003
Springer
15 years 4 months ago
2003
Springer
The commercial use of the Internet for service provision has deeply changed the environment where human-computer interaction takes place. Web interfaces are now integrated in overa...
EUROCAST
2003
Springer
15 years 4 months ago
2003
Springer
This paper considers the problem of texture description and feature selection for the classification of tissues in 3D Magnetic Resonance data. Joint statistical measures like grey...