Sciweavers

431 search results - page 15 / 87
» We have always been transgenic
Sort
View
PVLDB
2010
96views more  PVLDB 2010»
13 years 7 months ago
Scalable Data Exchange with Functional Dependencies
The recent literature has provided a solid theoretical foundation for the use of schema mappings in data-exchange applications. Following this formalization, new algorithms have b...
Bruno Marnette, Giansalvatore Mecca, Paolo Papotti
ICWSM
2010
13 years 10 months ago
ePluribus: Ethnicity on Social Networks
We propose an approach to determine the ethnic breakdown of a population based solely on people's names and data provided by the U.S. Census Bureau. We demonstrate that our a...
Jonathan Chang, Itamar Rosenn, Lars Backstrom, Cam...
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
14 years 3 months ago
Improvement of the Odometry Accuracy of a Crawler Vehicle with Consideration of Slippage
Abstract— Crawler mechanisms have the advantage of stable navigation on uneven terrain; as a result, such mechanisms have been adopted for many types of locomotion of outdoor rob...
Keiji Nagatani, Daisuke Endo, Kazuya Yoshida
MEMOCODE
2003
IEEE
14 years 2 months ago
Real-time Property Preservation in Approximations of Timed Systems
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
Jinfeng Huang, Jeroen Voeten, Marc Geilen
AI
2009
Springer
14 years 3 months ago
Exploratory Analysis of Co-Change Graphs for Code Refactoring
Abstract. Version Control Systems (VCS) have always played an essential role for developing reliable software. Recently, many new ways of utilizing the information hidden in VCS ha...
Hassan Khosravi, Recep Colak