5550 search results - page 576 / 1110 » Different Approaches to Proof Systems |
186
Voted
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
When defining an object-oriented extension to VHDL, the necessary message passing is one of the most complex issues and has a large impact on the whole language. This paper identi...
242
Voted
WSC
2007
15 years 9 months ago
2007
This paper describes two experiments exploring the potential of the Kriging methodology for constrained simulation optimization. Both experiments study an (s, S) inventory system ...
178
click to vote
IPMU
2010
Springer
15 years 9 months ago
2010
Springer
In this work, we focus on an improvement of a multi-script handwritting recognition system using a HMM based classifiers combination. The improvement relies on the use of Dempster-...
194
Voted
IESA
2007
15 years 8 months ago
2007
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
198
Voted
CORIA
2008
15 years 8 months ago
2008
In this contribution, a fuzzy-set-based information retrieval model is considered. First, we show that the retrieval mechanism of such a retrieval model can be defined in terms of ...