8768 search results - page 334 / 1754 » Generalizing the notion of support |
175
click to vote
FOSSACS
2004
Springer
16 years 28 days ago
2004
Springer
Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down system...
192
click to vote
PKDD
2004
Springer
16 years 27 days ago
2004
Springer
One of the most important operations involving Data Mining patterns is computing their similarity. In this paper we present a general framework for comparing both simple and comple...
171
click to vote
ICDCS
2003
IEEE
16 years 25 days ago
2003
IEEE
Remotely executing mobile code introduces a plethora of security problems. This paper examines the “external agent replay” attack, identifies the notion of one-way program st...
194
click to vote
FOSSACS
2003
Springer
16 years 23 days ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
190
click to vote
INFOCOM
2002
IEEE
16 years 14 days ago
2002
IEEE
—We consider scheduling policies for maxmin fair allocation of bandwidth in wireless adhoc networks. We formalize the maxmin fair objective under wireless scheduling constraints....