843 search results - page 65 / 169 » Generic Schema Mappings |
116
Voted
MICCAI
2008
Springer
16 years 5 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...
142
Voted
HPCA
2001
IEEE
16 years 4 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...
113
click to vote
SIAMCO
2002
15 years 3 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...
115
Voted
TPHOL
2009
IEEE
15 years 10 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 ...
157
Voted
ICVS
2003
Springer
15 years 9 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 ...