Sciweavers

4985 search results - page 292 / 997
» Observation of String-Rewriting Systems
Sort
View
HICSS
2009
IEEE
92views Biometrics» more  HICSS 2009»
15 years 11 months ago
Task Behaviors During Web Search: The Difficulty of Assigning Labels
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...
PERCOM
2009
ACM
15 years 11 months ago
Tracking and Annotation in Skills-Based Learning Environments
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...
MCS
2009
Springer
15 years 11 months ago
Improved Uniformity Enforcement in Stochastic Discrimination
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...
Matthew Prior, Terry Windeatt
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
15 years 11 months ago
A novel method for learning policies from constrained motion
— 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...
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
15 years 11 months ago
PicNIc - Pi-calculus non-interference checker
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...
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Pi...