1604 search results - page 76 / 321 » Development Separation in Lambda-Calculus |
SDE
1991
14 years 1 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The Asteroseismic Modeling Portal (AMP) provides a webbased interface for astronomers to run and view simulations that derive the properties of Sun-like stars from observations of...
ICCV
1999
IEEE
15 years 7 hour ago
1999
IEEE
Methods for the analysis of images of the same scene taken under three different lighting conditions are illustrated. A technique that separates the effects of geometry and surfac...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper presents a vision-based vehicle identification system which consists of object extraction, object tracking, occlusion detection and segmentation, and vehicle classifica...
DAC
1998
ACM
14 years 11 months ago
1998
ACM
Increasing size and geographical separation of design data and teams has created a need for a network-based electronic design environment that is scaleable, adaptable, secure, hig...