Sciweavers

1865 search results - page 145 / 373
» A Rule-Based, Integrated Modelling Approach for Object-Orien...
Sort
View
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
ADS
2004
Springer
15 years 9 months ago
Affective Advice Giving Dialogs
In affective dialog simulation, recognition and interpretation of the affective state of the user should be integrated with display of empathy by the system and with dialog plannin...
Addolorata Cavalluzzi, Valeria Carofiglio, Fiorell...
IEAAIE
1995
Springer
15 years 8 months ago
Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung
FASE
2010
Springer
15 years 11 months ago
Performance Modeling and Analysis of Context-Aware Mobile Software Systems
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
Luca Berardinelli, Vittorio Cortellessa, Antinisca...
ICDM
2009
IEEE
148views Data Mining» more  ICDM 2009»
15 years 11 months ago
Hierarchical Bayesian Models for Collaborative Tagging Systems
—Collaborative tagging systems with user generated content have become a fundamental element of websites such as Delicious, Flickr or CiteULike. By sharing common knowledge, mass...
Markus Bundschus, Shipeng Yu, Volker Tresp, Achim ...