3199 search results - page 512 / 640 » Variability in Automation System Models |
181
click to vote
ISCA
1998
IEEE
15 years 10 months ago
1998
IEEE
Computer systems have become powerful enough to process continuous data streams such as video or animated graphics. While processing power and communication bandwidth of today...
174
click to vote
ISSAC
1997
Springer
15 years 10 months ago
1997
Springer
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
214
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...
158
click to vote
LREC
2008
15 years 7 months ago
2008
Speaker identification and verification systems have a poor performance when model training is done in one language while the testing is done in another. This situation is not unu...
171
click to vote
AAECC
2007
Springer
15 years 6 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...