843 search results - page 65 / 169 » Generic Schema Mappings |
101
Voted
MICCAI
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. In this paper, we propose a set of new generic automated processing tools to characterise the local asymmetries of anatomical structures (represented by surfaces) at an i...
122
click to vote
HPCA
2001
IEEE
16 years 2 months ago
2001
IEEE
This paper presents an algorithm to automatically map code on a generic intelligent memory system that consists of a host processor and a simpler memory processor. To achieve high...
SIAMCO
2002
15 years 1 months ago
2002
We consider linear systems with m inputs, p outputs and McMillan degree n, such that n = mp. If both m and p are even, we show that there is a non-empty open (in the usual topology...
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
137
click to vote
ICVS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...