Sciweavers

3210 search results - page 546 / 642
» Secure Similarity Search
Sort
View
SIAMDM
2008
105views more  SIAMDM 2008»
15 years 3 months ago
A Simple Linear Time LexBFS Cograph Recognition Algorithm
Recently lexicographic breadth first search (LexBFS) has been shown to be a very powerful tool for the development of linear time, easily implementable recognition algorithms for v...
Anna Bretscher, Derek G. Corneil, Michel Habib, Ch...
TRANSCI
2008
94views more  TRANSCI 2008»
15 years 3 months ago
Routing for Relief Efforts
In the aftermath of a large disaster, the routing of vehicles carrying critical supplies can greatly impact the arrival times to those in need. Since it is critical that the deliv...
Ann Melissa Campbell, Dieter Vandenbussche, Willia...
JOCN
2010
99views more  JOCN 2010»
15 years 3 months ago
Right-lateralized Brain Oscillations in Human Spatial Navigation
■ During spatial navigation, lesion and functional imaging studies suggest that the right hemisphere has a unique functional role. However, studies of direct human brain recordi...
Joshua Jacobs, Igor O. Korolev, Jeremy B. Caplan, ...
LOGCOM
2010
136views more  LOGCOM 2010»
15 years 3 months ago
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
Rajeev Goré, Linda Postniece
MICCAI
2010
Springer
15 years 3 months ago
Model-Based Esophagus Segmentation from CT Scans Using a Spatial Probability Map
Automatic segmentation of the esophagus from CT data is a challenging problem. Its wall consists of muscle tissue, which has low contrast in CT. Sometimes it is filled with air or...
Johannes Feulner, Shaohua Kevin Zhou, Martin Huber...