Sciweavers

17049 search results - page 346 / 3410
» cans 2007
Sort
View
VLDB
2007
ACM
130views Database» more  VLDB 2007»
16 years 7 months ago
Model Management and Schema Mappings: Theory and Practice
We present an overview of a tutorial on model management--an approach to solving data integration problems, such as data warehousing, e-commerce, object-to-relational mapping, sch...
Philip A. Bernstein, Howard Ho
ICRA
2007
IEEE
143views Robotics» more  ICRA 2007»
16 years 1 months ago
A Moment-based 3D Object Tracking Algorithm for High-speed Vision
— In this paper we propose a method of realizing continuous tracking of a three-dimensional object by calculating moments of a translating and rotating object whose shape is know...
Takashi Komuro, Masatoshi Ishikawa
COCOON
2007
Springer
16 years 29 days ago
Generating Minimal k-Vertex Connected Spanning Subgraphs
Abstract. We show that minimal k-vertex connected spanning subgraphs of a given graph can be generated in incremental polynomial time for any fixed k.
Endre Boros, Konrad Borys, Khaled M. Elbassioni, V...
EUROCRYPT
2007
Springer
15 years 10 months ago
A Fast and Key-Efficient Reduction of Chosen-Ciphertext to Known-Plaintext Security
Motivated by the quest for reducing assumptions in security proofs in cryptography, this paper is concerned with designing efficient symmetric encryption and authentication schemes...
Ueli M. Maurer, Johan Sjödin
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
From Functional Programs to Interaction Nets via the Rewriting Calculus
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...
Horatiu Cirstea, Germain Faure, Maribel Fern&aacut...