313 search results - page 38 / 63 » Building Models through Formal Specification |
146
click to vote
ASIAN
2005
Springer
15 years 10 months ago
2005
Springer
One of the main challenges in building enterprise applications has been to balance between built-in functionality and domain/scenario-specific customization. The lack of formal way...
140
click to vote
IJACTAICIT
2010
15 years 2 months ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
140
click to vote
AAAI
1990
15 years 6 months ago
1990
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
122
click to vote
ICASSP
2009
IEEE
15 years 12 months ago
2009
IEEE
We study key issues related to multilingual acoustic modeling for automatic speech recognition (ASR) through a series of large-scale ASR experiments. Our study explores shared str...
149
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...