By examining searcher behavior on a large search engine, we have identified seven basic kinds of task behaviors that can be observed in web search session logs. In the studies rep...
Daniel M. Russell, Diane Tang, Melanie Kellar, Rob...
This paper outlines a series of experiments looking at the annotation and subsequent analysis of skills-based learning and teaching in the domain of Nursing. The experiments used ...
Mark J. Weal, Danius T. Michaelides, Kevin R. Page...
There are a variety of methods for inducing predictive systems from observed data. Many of these methods fall into the field of study of machine learning. Some of the most effec...
— Many everyday human skills can be framed in terms of performing some task subject to constraints imposed by the environment. Constraints are usually unobservable and frequently...
Matthew Howard, Stefan Klanke, Michael Gienger, Ch...
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...