3801 search results - page 388 / 761 » An Approach to Modeling Software Safety |
201
click to vote
ACL
2012
13 years 9 months ago
2012
Bayesian approaches have been shown to reduce the amount of overfitting that occurs when running the EM algorithm, by placing prior probabilities on the model parameters. We appl...
157
click to vote
HAPTICS
2005
IEEE
16 years 11 days ago
2005
IEEE
In this paper we present a software approach to managing complexity for haptic rendering of large-scale geometric models, consisting of tens to hundreds of thousands of distinct g...
198
click to vote
JOT
2007
15 years 6 months ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
171
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...
163
click to vote
ISOLA
2007
Springer
16 years 27 days ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...