726 search results - page 133 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
EDM
2010
13 years 10 months ago
2010
It is argued that the analysis of the learner's generated log files during interactions with a learning environment is necessary to produce interpretative views of their activ...
DAGSTUHL
2004
13 years 9 months ago
2004
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
ECOWS
2006
Springer
14 years 3 days ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Researchers have developed many models to predict and understand human performance in text entry. Most of the models are specific to a technology or fail to account for human fact...
APIN
2008
13 years 8 months ago
2008
While Bayesian network (BN) can achieve accurate predictions even with erroneous or incomplete evidence, explaining the inferences remains a challenge. Existing approaches fall sh...