4772 search results - page 184 / 955 » An approach to interface synthesis |
168
click to vote
DSVIS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
199
click to vote
NIPS
2004
15 years 8 months ago
2004
We describe an approach to building brain-computer interfaces (BCI) based on graphical models for probabilistic inference and learning. We show how a dynamic Bayesian network (DBN...
165
click to vote
JSCIC
2007
15 years 6 months ago
2007
This paper begins with an overview of the boundary condition capturing approach to solving problems with interfaces. Although, the authors’ original motivation was to extend the...
193
click to vote
ECBS
2010
IEEE
15 years 4 months ago
2010
IEEE
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
156
click to vote
FASE
2007
Springer
16 years 23 days ago
2007
Springer
Web applications are increasingly prominent in society, serving a wide variety of user needs. Engineers seeking to enhance, test, and maintain these applications and third-party pr...