2150 search results - page 187 / 430 » On a restricted cross-intersection problem |
117
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we present a general and an efficient algorithm for automatic selection of new application-specific instructions under hardware resources constraints. The instructi...
130
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Many combinatorial problems, such as car sequencing and rostering, feature sequence constraints, restricting the number of occurrences of certain values in every subsequence of a g...
135
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
130
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
We extend the propositional dynamic logic PDL of Fischer and Ladner with a restricted kind of recursive programs using the formalism of visibly pushdown automata (Alur, Madhusudan...
121
click to vote
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
We have developed a new GA hardware called GAA-I (Genetic Algorithm Accelerator-I), in which the crossover operator to be applied to each individual was dynamically selected during...