4451 search results - page 308 / 891 » On Random Ordering Constraints |
157
Voted
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we introduce an evolutionary algorithm for solving a copper mine planning problem. In the last 10 years this realworld problem has been tackled using linear integer p...
177
click to vote
SEMCO
2007
IEEE
16 years 29 days ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
206
click to vote
MMM
2006
Springer
16 years 21 days ago
2006
Springer
MPEG-7 is an excellent choice for the description of audiovisual content due to its flexibility and comprehensiveness. The drawback is that these properties also increase the comp...
210
click to vote
ADVIS
2006
Springer
16 years 21 days ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
171
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...