3176 search results - page 513 / 636 » Strategic product development |
173
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
192
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Diffusion tensor magnetic resonance imaging (DT-MRI) is emerging as an important tool in medical image analysis of the brain. However, relatively little work has been done on produ...
172
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present the MASSIVE project that aims to use Grid technology to establish an enabling environment for distributed simulation and visualization of large-scale scie...
165
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
A new Bayer pattern demosaicking scheme for single-sensor digital cameras is introduced. The raw output from a sensor, mostly a charge coupled device (CCD) or a complementary metal...
139
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...