1397 search results - page 200 / 280 » On the Need for Practical Formal Methods |
134
click to vote
TAMODIA
2004
15 years 5 months ago
2004
This paper takes a pragmatic approach to the design of a task analysis support tool. Instead of proposing a new approach to analysis, it looks at the common requirements for provi...
137
click to vote
WSC
2001
15 years 5 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...
129
click to vote
NIPS
2000
15 years 5 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...
153
Voted
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Exponentially growing photo collections motivate the needs for automatic image annotation for effective manipulations (e.g., search, browsing). Most of the prior works rely on sup...
136
click to vote
EOR
2008
15 years 4 months ago
2008
Constrained Optimization Problems (COP) often take place in many practical applications such as kinematics, chemical process optimization, power systems and so on. These problems ...