1011 search results - page 106 / 203 » The three dimensions of proofs |
146
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages. This paper reviews embedding, and summarizes how...
156
click to vote
DICTA
2003
2003
Real-Time Detection, Registration and Recognition Using Pixel-Level Fusion of Active/Passive Imagery
15 years 7 months ago
- A system has been developed whereby active ladar and passive electro-optic imaging data are aligned in hardware at the pixel level. ...
160
click to vote
ANLP
2000
15 years 7 months ago
2000
In this paper, we describe an empirical evaluation of an adaptive mixed initiative spoken dialogue system. We conducted two sets of experiments to evaluate the mixed initiative an...
147
click to vote
ECIS
2000
15 years 7 months ago
2000
The paper explores the nature of professional intellect and the requirements for managing it, an area acknowledged as being under-researched. Five case studies in the professional ...
164
click to vote
GRAPHICSINTERFACE
2000
15 years 7 months ago
2000
In this paper, we present an efficient way to denoise bivariate data like height fields, color pictures or vector fields, while preserving edges and other features. Mixing surface...