726 search results - page 133 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
141
click to vote
EDM
2010
15 years 3 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...
119
Voted
DAGSTUHL
2004
15 years 3 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...
115
click to vote
ECOWS
2006
Springer
15 years 5 months 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...
87
Voted
CHI
2010
ACM
15 years 8 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...
110
Voted
APIN
2008
15 years 2 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...