2421 search results - page 270 / 485 » Integrity Assurance Technique Using Determinant Approach |
165
click to vote
MP
2006
15 years 6 months ago
2006
Determining if a solution is optimal or near optimal is fundamental in optimization theory, algorithms, and computation. For instance, Karush-Kuhn-Tucker conditions provide necessa...
155
click to vote
VR
2007
IEEE
16 years 23 days ago
2007
IEEE
We present a system that enables, for the first time, effective transatlantic cooperative haptic manipulation of objects whose motion is computed using a physically-based model. ...
204
click to vote
MLDM
2007
Springer
16 years 19 days ago
2007
Springer
Recursive Feature Elimination (RFE) combined with feature ranking is an effective technique for eliminating irrelevant features when the feature dimension is large, but it is diffi...
195
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: This article addresses the problem of interoperation of heterogeneous bioinformatics databases. Results: We introduce BioWarehouse, an open source toolkit for construc...
166
click to vote
CSFW
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...