190 search results - page 20 / 38 » Symmetry and Satisfiability: An Update |
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
182
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
The paper proposes an extension of CFDs [1], referred to as extended Conditional Functional Dependencies (eCFDs). In contrast to CFDs, eCFDs specify patterns of semantically relate...
187
click to vote
VLDB
2007
ACM
15 years 12 months ago
2007
ACM
Two central criteria for data quality are consistency and accuracy. Inconsistencies and errors in a database often emerge as violations of integrity constraints. Given a dirty dat...
97
Voted
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
— Due to their flexibility in coverage and resolution, networked robotic cameras become more and more popular in applications such as natural observation, security surveillance,...
ISPA
2005
Springer
15 years 5 months ago
2005
Springer
：Wireless Sensor and Actor Networks (WSANs) consist of three types of nodes with different capabilities and functions. Because of these heterogeneities, current network security ...