Sciweavers

1938 search results - page 286 / 388
» On Positive Relational Calculi
Sort
View
SIGGRAPH
1995
ACM
13 years 11 months ago
Time-dependent three-dimensional intravascular ultrasound
Intravascular ultrasonography and x-ray angiography provide two complimentary techniques for imaging the moving coronary arteries. We present a technique that combines the strengt...
Jed Lengyel, Donald P. Greenberg, Richard Popp
ICLP
1987
Springer
13 years 11 months ago
Near-Horn PROLOG
The Near-Horn Prolog procedures have been proposed as e ective procedures in the area of disjunctive logic programming, an extension of logic programming to the ( rstorder) non-Ho...
Donald W. Loveland
ALGOSENSORS
2009
Springer
13 years 11 months ago
Routing on Delay Tolerant Sensor Networks
Abstract. Delay (or disruption) tolerant sensor networks may be modeled as Markovian evolving graphs [1]. We present experimental evidence showing that considering multiple (possib...
Michael Keane, Evangelos Kranakis, Danny Krizanc, ...
FLAIRS
2010
13 years 10 months ago
Towards A Computational Assessment of Freewriting Quality
This study examines the linguistic features of freewrites and how those features relate to human scores of freewrite quality. Freewriting is a common prewriting strategy that has ...
Jennifer L. Weston, Scott A. Crossley, Danielle S....
AAAI
2007
13 years 10 months ago
Semi-Supervised Learning by Mixed Label Propagation
Recent studies have shown that graph-based approaches are effective for semi-supervised learning. The key idea behind many graph-based approaches is to enforce the consistency bet...
Wei Tong, Rong Jin