1501 search results - page 250 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
143
click to vote
WEBDB
2000
Springer
15 years 7 months ago
2000
Springer
Rewriting queries using views is a powerful technique that has applications in data integration, data warehousing and query optimization. Query rewriting in relational databases i...
130
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The recognition of Arabic Named Entities (NE) is a problem in different domains of Natural Language Processing (NLP) like automatic translation. Indeed, NE translation allows the ...
151
click to vote
SEUS
2005
IEEE
15 years 9 months ago
2005
IEEE
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...
135
click to vote
ICFEM
2005
Springer
15 years 9 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...
145
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Speech recognition is usually based on Hidden Markov Models (HMMs), which represent the temporal dynamics of speech very efficiently, and Gaussian mixture models, which do non-opt...