2608 search results - page 74 / 522 » Subjects, Models, Languages, Transformations |
ACSD
2010
IEEE
14 years 10 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
TIP
2010
14 years 6 months ago
2010
Abstract--While directional adaption is introduced into traditional transforms, different orders of two 1-D transforms will result in different results of one 2-D transform. Based ...
107
click to vote
SIGIR
2003
ACM
15 years 5 months ago
2003
ACM
We propose a Bayesian extension to the ad-hoc Language Model. Many smoothed estimators used for the multinomial query model in ad-hoc Language Models (including Laplace and Bayes-...
88
Voted
SIMUTOOLS
2008
15 years 1 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
SIGADA
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...