4488 search results - page 294 / 898 » Properties of NP-Complete Sets |
184
click to vote
ACNS
2004
Springer
16 years 26 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...
225
click to vote
GECCO
2004
Springer
16 years 25 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-...
177
click to vote
ISMIR
2004
Springer
16 years 24 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...
162
Voted
ISPA
2004
Springer
16 years 24 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...
180
click to vote
OOPSLA
2004
Springer
16 years 24 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...