Sciweavers

305 search results - page 19 / 61
» Conditional Mapping in Data Mediation
Sort
View
PODS
2007
ACM
142views Database» more  PODS 2007»
14 years 10 months ago
Quasi-inverses of schema mappings
Schema mappings are high-level specifications that describe the relationship between two database schemas. Two operators on schema mappings, namely the composition operator and th...
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wa...
ACSAC
2007
IEEE
14 years 4 months ago
Channels: Runtime System Infrastructure for Security-Typed Languages
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
Boniface Hicks, Tim Misiak, Patrick McDaniel
CRV
2005
IEEE
225views Robotics» more  CRV 2005»
14 years 3 months ago
Distributed Multi-Robot Exploration and Mapping
— Efficient exploration of unknown environments is a fundamental problem in mobile robotics. In this paper we present an approach to distributed multi-robot mapping and explorat...
Dieter Fox
ICRA
2007
IEEE
166views Robotics» more  ICRA 2007»
14 years 4 months ago
Navigation using an appearance based topological map
Abstract— Vision systems are used more and more in ’personal’ robots interacting with humans, since semantic information about objects and places can be derived from the rich...
Olaf Booij, Bas Terwijn, Zoran Zivkovic, Ben J. A....
LION
2009
Springer
112views Optimization» more  LION 2009»
14 years 4 months ago
A Graph-Based Semi-supervised Algorithm for Protein Function Prediction from Interaction Maps
Abstract. Protein function prediction represents a fundamental challenge in bioinformatics. The increasing availability of proteomics network data has enabled the development of se...
Valerio Freschi