3086 search results - page 518 / 618 » Generalized Discriminant Analysis Using a Kernel Approach |
155
click to vote
ISSTA
2009
ACM
16 years 25 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
194
click to vote
DEXA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. We show how such an architecture can be le...
187
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
163
click to vote
CCA
2005
Springer
15 years 12 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
183
click to vote
PODC
2004
ACM
15 years 11 months ago
2004
ACM
We analyze the properties of Small-World networks, where links are much more likely to connect “neighbor nodes” than distant nodes. In particular, our analysis provides new re...