Sciweavers

647 search results - page 115 / 130
» Agent and Task Modeling at Honeywell
Sort
View
MICCAI
2005
Springer
15 years 10 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
15 years 10 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...
95
Voted
WETICE
2005
IEEE
15 years 3 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 2 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
14 years 11 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,...