2722 search results - page 148 / 545 » Automating Language Evolution |
165
click to vote
PTS
2000
15 years 6 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
137
click to vote
TOSEM
2002
15 years 4 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
131
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
142
Voted
TSMC
2010
14 years 11 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
149
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper investigates using Gaussian Mixture Model (GMM) based vowel duration features for automated assessment of non-native speech. Two different types of models were compared...