2478 search results - page 229 / 496 » Quadtrees as an Abstract Domain |
158
click to vote
BIRTHDAY
2007
Springer
16 years 26 days ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
141
click to vote
BPM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
198
click to vote
CLEAR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper is a documentation of the acoustic person tracking system developed by TUT. The system performance was evaluated in the CLEAR 2007 evaluation. The proposed sys...
174
click to vote
CMMR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. NEEDS REWRITE We present an audio browsing and editing paradigm that incorporates the “focus plus context” visual interaction metaphor. A traditional waveform is disp...
193
click to vote
CONTEXT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper, we propose a general model of schema matching based on the following ideas: on the one hand, a schema is viewed as a context (namely as a partial and appro...