Sciweavers

1290 search results - page 70 / 258
» Data Dependence Testing in Practice
Sort
View
EDBT
2008
ACM
147views Database» more  EDBT 2008»
14 years 9 months ago
iDataGuard: middleware providing a secure network drive interface to untrusted internet data storage
In this demonstration, we present the design and features of iDataGuard. iDataGuard is an interoperable security middleware that allows users to outsource their file systems to he...
Ravi Chandra Jammalamadaka, Roberto Gamboni, Shara...
TPHOL
2005
IEEE
14 years 2 months ago
A Structured Set of Higher-Order Problems
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
Christoph Benzmüller, Chad E. Brown
BMCBI
2007
134views more  BMCBI 2007»
13 years 9 months ago
A framework for significance analysis of gene expression data using dimension reduction methods
Background: The most popular methods for significance analysis on microarray data are well suited to find genes differentially expressed across predefined categories. However, ide...
Lars Halvor Gidskehaug, Endre Anderssen, Arnar Fla...
HAPTICS
2005
IEEE
14 years 2 months ago
Increasing the Impedance Range of a Haptic Display by Adding Electrical Damping
This work examines electrical damping as a means for improving haptic display performance. Specifically, electrical damping, like its mechanical counterpart, can significantly red...
Joshua Mehling, J. Edward Colgate, Michael A. Pesh...
ECML
1993
Springer
14 years 29 days ago
Getting Order Independence in Incremental Learning
It is empirically known that most incremental learning systems are order dependent, i.e. provide results that depend on the particular order of the data presentation. This paper ai...
Antoine Cornuéjols