Sciweavers

647 search results - page 115 / 130
» Agent and Task Modeling at Honeywell
Sort
View
MICCAI
2005
Springer
16 years 2 months ago
Synthetic Ground Truth for Validation of Brain Tumor MRI Segmentation
Validation and method of comparison for segmentation of magnetic resonance images (MRI) presenting pathology is a challenging task due to the lack of reliable ground truth. We prop...
Marcel Prastawa, Elizabeth Bullitt, Guido Gerig
ICML
2007
IEEE
16 years 2 months ago
Multi-task reinforcement learning: a hierarchical Bayesian approach
We consider the problem of multi-task reinforcement learning, where the agent needs to solve a sequence of Markov Decision Processes (MDPs) chosen randomly from a fixed but unknow...
Aaron Wilson, Alan Fern, Soumya Ray, Prasad Tadepa...
WETICE
2005
IEEE
15 years 7 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
ESSMAC
2003
Springer
15 years 7 months ago
Hex: Dynamics and Probabilistic Text Entry
We present a gestural interface for entering text on a mobile device via continuous movements, with control based on feedback from a probabilistic language model. Text is represent...
John Williamson, Roderick Murray-Smith
AAAI
2000
15 years 3 months ago
The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
K. Suzanne Barber, Thomas J. Graser, Paul Grisham,...