16218 search results - page 399 / 3244 » Standards |
172
click to vote
ACSD
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
180
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Hornby’s Age-Layered Population Structure claims to reduce premature convergence in Evolutionary Algorithms. We provide the first evaluation of ALPS on a realworld problem ...
169
click to vote
EUROMICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
Organizations adopting Enterprise Resource Planning (ERP) are also adopting standard ERPvendor-specific process models for engineering their requirements. Making successfully a li...
127
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
IEEE-LOM is a well-known metadata standard for describing learning resources. However, many problems are associated with this kind of representation, which include the number of f...
178
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
Traditionally, video indexing and compression have been considered as two separate functionalities. However, the high amount of available multimedia content creates the need for m...