817 search results - page 80 / 164 » Generating Efficient Plans for Queries Using Views |
119
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
147
click to vote
BTW
2007
Springer
15 years 9 months ago
2007
Springer
Abstract: Peer data management systems (PDMS) are a highly dynamic, decentralized infrastructure for large-scale data integration. They consist of a dynamic set of autonomous peers...
115
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Many STUMPS architectures found in current chip designs allow disabling of individual scan chains for debug and diagnosis. In a recent paper it has been shown that this feature can...
134
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Map information is important for path planning and self-localization when mobile robots accomplish autonomous tasks. In unknown environments, mobile robots should gener...
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, cons...