1604 search results - page 76 / 321 » Development Separation in Lambda-Calculus |
93
Voted
SDE
1991
15 years 4 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...
93
Voted
CORR
2010
Springer
15 years 24 days 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...
88
Voted
ICCV
1999
IEEE
16 years 2 months 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...
99
Voted
ICPR
2004
IEEE
16 years 1 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
16 years 1 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...