1090 search results - page 184 / 218 » Resource-Bounded Partial Evaluation |
179
click to vote
ICDE
2000
IEEE
15 years 11 months ago
2000
IEEE
: Many companies have recognized the strategic importance of the knowledge hidden in their large databases and have built data warehouses. Typically, updates are collected and appl...
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a novel approach to improve the distinctiveness of local image features without significantly affecting their robustness with respect to image deformations. Local image...
164
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
High quality, artifact-free fitting a bathymetry (sea-floor) surface to very unevenly spaced depth data from ship tracklines is possible with ODETLAP (Overdetermined Laplacian Par...
90
Voted
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...