11097 search results - page 1997 / 2220 » Hera presentation generator |
101
click to vote
CN
2004
15 years 16 days ago
2004
In secure group communications, a key server can deliver a "grouporiented" rekey message [22] to a large number of users efficiently using multicast. For reliable delive...
122
Voted
CORR
2004
Springer
15 years 16 days ago
2004
Springer
: The Game of Life cellular automaton is a classical example of a massively parallel collision-based computing device. The automaton exhibits mobile patterns, gliders, and generato...
117
click to vote
APIN
2000
15 years 16 days ago
2000
Genetic algorithms are adaptive methods based on natural evolution that may be used for search and optimization problems. They process a population of search space solutions with t...
137
Voted
DEDS
2000
15 years 15 days ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
102
click to vote
JAIR
2000
15 years 14 days ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...