Sciweavers

2520 search results - page 388 / 504
» Application Awareness Makes Storage More Useful
Sort
View
ENTCS
2007
95views more  ENTCS 2007»
15 years 6 months ago
Hybridizing a Logical Framework
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
Jason Reed
JASIS
2000
76views more  JASIS 2000»
15 years 5 months ago
Guided paths through Web-based collections: Design, experiences, and adaptations
Digital libraries need to facilitate the use of digital information in a variety of settings. One approach to making information useful is to enable its application to situations ...
Frank M. Shipman III, Richard Furuta, Donald Brenn...
MICCAI
2010
Springer
15 years 4 months ago
Incremental Shape Statistics Learning for Prostate Tracking in TRUS
Abstract. Automatic delineation of the prostate boundary in transrectal ultrasound (TRUS) can play a key role in image-guided prostate intervention. However, it is a very challengi...
Pingkun Yan, Jochen Kruecker
180
Voted
CJ
2010
131views more  CJ 2010»
15 years 3 months ago
Probabilistic Approaches to Estimating the Quality of Information in Military Sensor Networks
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...
Duncan Gillies, David Thornley, Chatschik Bisdikia...
JMLR
2010
154views more  JMLR 2010»
15 years 25 days ago
Infinite Predictor Subspace Models for Multitask Learning
Given several related learning tasks, we propose a nonparametric Bayesian model that captures task relatedness by assuming that the task parameters (i.e., predictors) share a late...
Piyush Rai, Hal Daumé III