3765 search results - page 663 / 753 » Formal Methods for Systems Engineering Behavior Models |
134
click to vote
GVD
2009
15 years 7 days ago
2009
The upcoming generation of computer hardware poses several new challenges for database developers and engineers. Software in general and database management systems (DBMSs) in par...
141
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Giving suggestions to users of Web-based services is a common practice aimed at enhancing their navigation experience. Major Web Search Engines usually provide Suggestions under t...
132
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
104
click to vote
SIGPRO
2010
15 years 26 days ago
2010
An optimization-based method is proposed for the design of high-performance separable wavelet filter banks for image coding. This method yields linear-phase perfect-reconstructio...
138
click to vote
IJCAI
2003
15 years 3 months ago
2003
Dynamic Bayesian networks (DBNs) offer an elegant way to integrate various aspects of language in one model. Many existing algorithms developed for learning and inference in DBNs ...