Sciweavers

1045 search results - page 84 / 209
» The Use of Exceptions
Sort
View
IJRR
2010
102views more  IJRR 2010»
13 years 3 months ago
Modeling and Calibration of Inertial and Vision Sensors
This paper is concerned with the problem of estimating the relative translation and orientation of an inertial measurement unit and a camera, which are rigidly connected. The key ...
Jeroen D. Hol, Thomas B. Schön, Fredrik Gusta...
HICSS
2012
IEEE
322views Biometrics» more  HICSS 2012»
12 years 4 months ago
Exploring the Motive for Data Publication in Open Data Initiative: Linking Intention to Action
This research study was designed to broaden understanding of the publishing of research datasets by distinguishing between the intention to share and the action of sharing. The da...
Djoko Sigit Sayogo, Theresa A. Pardo
ESORICS
2012
Springer
11 years 10 months ago
Third-Party Private DFA Evaluation on Encrypted Files in the Cloud
Motivated by the need to outsource file storage to untrusted clouds while still permitting limited use of that data by third parties, we present practical protocols by which a cli...
Lei Wei 0004, Michael K. Reiter
CCIA
2007
Springer
14 years 2 months ago
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques
With the arrival of high throughput genotyping techniques, the detection of likely genotyping errors is becoming an increasingly important problem. In this paper we are interested...
Martí Sánchez, Simon de Givry, Thoma...
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
14 years 1 months ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...