7055 search results - page 223 / 1411 » Some New 4-Designs |
170
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...
184
click to vote
FSE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We discuss the special requirements imposed on the underlying cipher of systems which encrypt each sector of a disk partition independently, and demonstrate a certificati...
132
click to vote
MFCS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we investigate the periodic structure of rich words (i.e., words having the highest possible number of palindromic factors), giving new results relating them with per...
143
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
The modern industrial facility depends on sensitive electronic equipment that can be shut down suddenly by severe power system disturbances. A large number of these disturbances o...
149
Voted
AIPS
2010
15 years 9 months ago
2010
We present an extension of the planning framework based on action graphs and local search to deal with PDDL2.1 temporal problems requiring concurrency, while previously the approa...