8450 search results - page 1600 / 1690 » Interactively Modeling with Photogrammetry |
174
click to vote
PPDP
2007
Springer
16 years 10 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
158
click to vote
GMP
2006
IEEE
16 years 8 days ago
2006
IEEE
For molding and casting processes, geometries that have undercut-free parting directions (UFPDs) are preferred for manufacturing. Identifying all UFPDs for arbitrary geometries at ...
157
click to vote
ISPASS
2006
IEEE
16 years 7 days ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
157
click to vote
PARELEC
2006
IEEE
16 years 6 days ago
2006
IEEE
Usually, theories of surface growth are based on the study of global processes without taking in account the local behaviour of atoms. We have implemented two Montecarlo simulation...
178
click to vote
MM
2006
ACM
16 years 5 days ago
2006
ACM
ons for this project. Most recent ones are listed at the end of this abstract. In the future, feature selection will be integrated in the multi-class EM algorithm to improve the pe...