3116 search results - page 393 / 624 » Positively dependent types |
174
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
163
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
This work addresses the problem of processing continuous nearest neighbor (NN ) queries for moving objects trajectories when the exact position of a given object at a particular t...
160
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
Data cubes as employed by On-Line Analytical Processing (OLAP) play a key role in many application domains. The analysis typically involves to compare categories of different hie...
157
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Many automated static analysis (ASA) tools have been developed in recent years for detecting software anomalies. The aim of these tools is to help developers to eliminate software...
175
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— We report on our experiences regarding the acquisition of hybrid Semantic 3D Object Maps for indoor household environments, in particular kitchens, out of sensed 3D poi...