489 search results - page 77 / 98 » A Formal Model for Process Context Learning |
FUIN
2008
14 years 12 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
TAMODIA
2008
15 years 1 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
107
click to vote
AEI
2006
14 years 12 months ago
2006
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
115
click to vote
ACL
2012
13 years 2 months ago
2012
One of the key tasks for analyzing conversational data is segmenting it into coherent topic segments. However, most models of topic segmentation ignore the social aspect of conver...
126
click to vote
TARK
2007
Springer
15 years 5 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...