Sciweavers

4965 search results - page 599 / 993
» A Simple Abstraction for Data Modeling
Sort
View
177
Voted
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
15 years 10 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup
167
Voted
PODS
2005
ACM
119views Database» more  PODS 2005»
16 years 7 months ago
Security analysis of cryptographically controlled access to XML documents
Some promising recent schemes for XML access control employ encryption for implementing security policies on published data, avoiding data duplication. In this paper we study one ...
Bogdan Warinschi, Martín Abadi
200
Voted
SODA
2010
ACM
200views Algorithms» more  SODA 2010»
16 years 4 months ago
Fully-Functional Succinct Trees
We propose new succinct representations of ordinal trees, which have been studied extensively. It is known that any n-node static tree can be represented in 2n + o(n) bits and a l...
Kunihiko Sadakane, Gonzalo Navarro
168
Voted
ICDM
2007
IEEE
187views Data Mining» more  ICDM 2007»
16 years 1 months ago
A Comparative Study of Methods for Transductive Transfer Learning
The problem of transfer learning, where information gained in one learning task is used to improve performance in another related task, is an important new area of research. While...
Andrew Arnold, Ramesh Nallapati, William W. Cohen
169
Voted
ICRA
2006
IEEE
119views Robotics» more  ICRA 2006»
16 years 27 days ago
SLAM with Sparse Sensing
— Most work on the simultaneous localization and mapping (SLAM) problem assumes the frequent availability of dense information about the environment such as that provided by a la...
Kristopher R. Beevers, Wesley H. Huang