Sciweavers

445 search results - page 71 / 89
» Classifying model-theoretic properties
Sort
View
CORR
2010
Springer
152views Education» more  CORR 2010»
13 years 10 months ago
Automatic analysis of distance bounding protocols
Distance bounding protocols are used by nodes in wireless networks for the crucial purpose of estimating their distances to other nodes. Past efforts to analyze these protocols hav...
Sreekanth Malladi, Bezawada Bruhadeshwar, Kishore ...
CORR
2006
Springer
121views Education» more  CORR 2006»
13 years 10 months ago
Number sequence representation of protein structures based on the second derivative of a folded tetrahedron sequence
A protein is a sequence of amino-acids of length typically less than 1, 000, where there are 20 kinds of amino-acids. In nature, each protein is folded into a well-defined three-d...
Naoto Morikawa
DISOPT
2006
155views more  DISOPT 2006»
13 years 10 months ago
Cyclical scheduling and multi-shift scheduling: Complexity and approximation algorithms
We consider the multiple shift scheduling problem modelled as a covering problem. Such problems are characterized by a constraint matrix that has in every column blocks of consecu...
Dorit S. Hochbaum, Asaf Levin
FUIN
2006
107views more  FUIN 2006»
13 years 9 months ago
Learning Sunspot Classification
Sunspots are the subject of interest to many astronomers and solar physicists. Sunspot observation, analysis and classification form an important part of furthering the knowledge a...
Trung Thanh Nguyen, Claire P. Willis, Derek J. Pad...
JMLR
2006
206views more  JMLR 2006»
13 years 9 months ago
New Algorithms for Efficient High-Dimensional Nonparametric Classification
This paper is about non-approximate acceleration of high-dimensional nonparametric operations such as k nearest neighbor classifiers. We attempt to exploit the fact that even if w...
Ting Liu, Andrew W. Moore, Alexander G. Gray