4488 search results - page 294 / 898 » Properties of NP-Complete Sets |
162
Voted
ACNS
2004
Springer
16 years 7 days ago
2004
Springer
A family of authenticators based on static shared keys is identified and proven secure. The authenticators can be used in a variety of settings, including identity-based ones. App...
197
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We describe and critique the convergence properties of filterbased evolutionary pattern search algorithms (F-EPSAs). F-EPSAs implicitly use a filter to perform a multi-...
164
click to vote
ISMIR
2004
Springer
16 years 5 days ago
2004
Springer
Pregroups had been conceived as an algebraic tool to recognize grammatically well-formed sentences in natural languages [3]. Here we wish to use pregroups to recognize well-formed...
144
click to vote
ISPA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. A loop with irregular assignment computations contains loopcarried output data dependences that can only be detected at run-time. In this paper, a load-balanced method ba...
169
click to vote
OOPSLA
2004
Springer
16 years 5 days ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...