Sciweavers

10289 search results - page 1816 / 2058
» Standard bases in K
Sort
View
SECON
2010
IEEE
15 years 4 months ago
Adaptive Instantiation of the Protocol Interference Model in Mission-Critical Wireless Networks
Interference model is the basis of MAC protocol design in wireless networks, and it directly affects the efficiency and predictability of wireless messaging. To exploit the strengt...
Xin Che, Xiaohui Liu, Xi Ju, Hongwei Zhang
ICCAD
2009
IEEE
159views Hardware» more  ICCAD 2009»
15 years 4 months ago
First steps towards SAT-based formal analog verification
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips...
IJON
2010
121views more  IJON 2010»
15 years 3 months ago
Sample-dependent graph construction with application to dimensionality reduction
Graph construction plays a key role on learning algorithms based on graph Laplacian. However, the traditional graph construction approaches of -neighborhood and k-nearest-neighbor...
Bo Yang, Songcan Chen
IJRR
2010
125views more  IJRR 2010»
15 years 3 months ago
Mechanics of Flexible Needles Robotically Steered through Soft Tissue
The tip asymmetry of a bevel-tip needle results in the needle naturally bending when it is inserted into soft tissue. This enables robotic needle steering, which can be used in me...
Sarthak Misra, Kyle B. Reed, Benjamin W. Schafer, ...
CVPR
2011
IEEE
15 years 1 months ago
Image Retrieval with Geometry-Preserving Visual Phrases
The most popular approach to large scale image retrieval is based on the bag-of-visual-word (BoV) representation of images. The spatial information is usually reintroduced as a po...
Yimeng Zhang, Zhaoyin Jia, Tsuhan Chen
« Prev « First page 1816 / 2058 Last » Next »