572 search results - page 30 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
WCRE
2003
IEEE
14 years 2 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
ATAL
2003
Springer
14 years 13 days ago
2003
Springer
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
During face-to-face conversation, the speaker’s head is continually in motion. These movements serve a variety of important communicative functions. Our goal is to develop a mod...
CIDM
2009
IEEE
14 years 3 months ago
2009
IEEE
—Some data mining problems require predictive models to be not only accurate but also comprehensible. Comprehensibility enables human inspection and understanding of the model, m...