7921 search results - page 1296 / 1585 » LSH-preserving functions and their applications |
181
click to vote
KBS
2008
15 years 6 months ago
2008
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. In this context,...
165
Voted
JMLR
2006
15 years 6 months ago
2006
We study some stability properties of algorithms which minimize (or almost-minimize) empirical error over Donsker classes of functions. We show that, as the number n of samples gr...
182
click to vote
ENTCS
2007
15 years 6 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
143
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
203
click to vote
JSAC
2006
15 years 6 months ago
2006
In defending against various network attacks, such as distributed denial-of-service (DDoS) attacks or worm attacks, a defense system needs to deal with various network conditions a...