486 search results - page 20 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
130
Voted
HCI
2007
15 years 4 months ago
2007
In the VTT PLAMOS (Plant Model Services for Mobile Process Maintenance Engineer) project new tools were developed for modern maintenance work carried out in industrial plants by ei...
139
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
116
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. Th...
119
click to vote
SEKE
1993
Springer
15 years 7 months ago
1993
Springer
Software metrics provide effective methods for characterizing software. Metrics have traditionally been composed through the definition of an equation, but this approach is limite...
149
Voted
NIPS
2004
15 years 4 months ago
2004
This paper investigates the effect of Kernel Principal Component Analysis (KPCA) within the classification framework, essentially the regularization properties of this dimensional...