3388 search results - page 446 / 678 » Type-theoretic design patterns |
210
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
183
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
Recent improvements in architectural supports for virtualization have extended traditional hardware page walkers to traverse nested page tables. However, current twodimensional (2...
216
click to vote
EDBT
2012
ACM
13 years 9 months ago
2012
ACM
In this paper we consider the problem of answering queries using views, with or without ontological constraints, which is important for data integration, query optimization, and d...
167
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. To estimate the pose of a C-Arm during interventions therapy we have developed a small sized X-Ray Target including a special set of beads with known locations in 3D spac...
200
click to vote
KDD
2001
ACM
16 years 7 months ago
2001
ACM
Web Usage Mining (WUM), a natural application of data mining techniques to the data collected from user interactions with the web, has greatly concerned both academia and industry ...