Sciweavers

2082 search results - page 299 / 417
» Change Paths in Reasoning!
Sort
View
IHI
2012
249views Healthcare» more  IHI 2012»
13 years 6 months ago
An intelligent web-based decision support tool for enhancing asthma guideline adherence
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
Jinbo Bi, Arun Abraham
CN
2011
176views more  CN 2011»
14 years 2 months ago
Taming the elephants: New TCP slow start
Standard slow start does not work well under large bandwidthdelay product (BDP) networks. We find two causes of this problem in existing three popular operating systems, Linux, F...
Sangtae Ha, Injong Rhee
CAV
2010
Springer
282views Hardware» more  CAV 2010»
15 years 3 months ago
A NuSMV Extension for Graded-CTL Model Checking
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
Alessandro Ferrante, Maurizio Memoli, Margherita N...
TAP
2008
Springer
102views Hardware» more  TAP 2008»
14 years 11 months ago
Visualizing graphs in three dimensions
It has been known for some time that larger graphs can be interpreted if laid out in 3D and displayed with stereo and/or motion depth cues to support spatial perception. However, ...
Colin Ware, Peter Mitchell
88
Voted
CVPR
2009
IEEE
16 years 5 months ago
Directed Assistance for Ink-Bleed Reduction in Old Documents
Ink-bleed interference is a serious problem that affects the legibility of old documents. Ink-bleed can be reduced reasonably well using pixel classification based on user supplie...
Zheng Lu, Zheng Wu, Michael S. Brown