3828 search results - page 264 / 766 » Proof-Based System Engineering Using a Virtual System Model |
176
click to vote
ACL
2006
15 years 8 months ago
2006
We investigate the use of machine learning in combination with feature engineering techniques to explore human multimodal clarification strategies and the use of those strategies ...
185
click to vote
EMSOFT
2005
Springer
16 years 23 hour ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
225
click to vote
AVI
2010
15 years 7 months ago
2010
Content classification performed by end users is spreading through the web. Most of the work done so far is related to the hypermedia web. In spite of that, there is a growing mas...
220
click to vote
ANZIIS
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper describes the design and developmentof an expert system for tourist information center. The expert system was built to recommend a suitable travel schedule that satisfi...
172
click to vote
SETP
2007
15 years 8 months ago
2007
Requirement analysis continues to be one of the most critical and challenging phases during the software development process. Many object-oriented methodologies identify three pri...