1792 search results - page 209 / 359 » e-Participation and Decision Analysis |
83
Voted
ICFEM
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
75
Voted
ICRA
1998
IEEE
15 years 3 months ago
1998
IEEE
Tolerancing decisions can profoundly impact the quality and cost of electro-mechanical assemblies. Existing approaches to tolerance analysis and synthesis in design entail detailed...
BMCBI
2008
14 years 11 months ago
2008
Background: The Golden Spike data set has been used to validate a number of methods for summarizing Affymetrix data sets, sometimes with seemingly contradictory results. Much less...
154
click to vote
Book
"Pattern recognition techniques are concerned with the theory and algorithms of putting abstract objects, e.g., measurements made on physical objects, into categories. Typical...
184
click to vote
ICDE
2007
IEEE
16 years 8 days ago
2007
IEEE
Recently, the skyline computation and analysis have been extended from one single full space to multidimensional subspaces, which can lead to valuable insights in some application...