8828 search results - page 1290 / 1766 » Formal methods in practice |
182
click to vote
WSC
2001
15 years 8 months ago
2001
A computer aided teaching studio provides a unique environment for teaching an introductory simulation course to manufacturing engineers. Each meeting can consist of an appropriat...
208
click to vote
WSCG
2004
15 years 8 months ago
2004
A major drawback of shopping for clothes on-line is that the customer cannot try on clothes and see if they fit or suit them. One solution is to display clothing on an avatar, a 3...
195
click to vote
NAACL
2003
15 years 8 months ago
2003
Statistical measures of word similarity have application in many areas of natural language processing, such as language modeling and information retrieval. We report a comparative...
199
click to vote
NIPS
2000
15 years 8 months ago
2000
When trying to recover 3D structure from a set of images, the most di cult problem is establishing the correspondence between the measurements. Most existing approaches assume tha...
193
click to vote
NIPS
2000
15 years 8 months ago
2000
Recent work has exploited boundedness of data in the unsupervised learning of new types of generative model. For nonnegative data it was recently shown that the maximum-entropy ge...