10802 search results - page 2025 / 2161 » Generative and developmental systems |
177
click to vote
JLP
2006
15 years 6 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
184
click to vote
MMS
2008
15 years 6 months ago
2008
Authoring of multimedia content can be considered as composing media assets such as images, videos, text, and audio in time, space, and interaction into a coherent multimedia pres...
154
click to vote
EOR
2007
15 years 6 months ago
2007
We consider a supply–assembly–store chain with produce-to-stock strategy, which comprises a set of component suppliers, a mixed-model assembly line with a constantly moving co...
200
click to vote
EOR
2007
15 years 6 months ago
2007
Credit scoring is a method of modelling potential risk of credit applications. Traditionally, logistic regression, linear regression and discriminant analysis are the most popular...
174
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...