256 search results - page 11 / 52 » Separation of NP-Completeness Notions |
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
The Support Vector Machine (SVM) is a powerful tool for classification. We generalize SVM to work with data objects that are naturally understood to be lying on curved manifolds, ...
ECCV
2002
Springer
14 years 10 months ago
2002
Springer
What does it mean for a deforming object to be "moving" (see Fig. 1)? How can we separate the overall motion (a finite-dimensional group action) from the more general de...
CSL
2007
Springer
14 years 2 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
TIT
2011
13 years 3 months ago
2011
— In this paper, we extend the notion of generalized Hamming weight for classical linear block code to linear network codes by introducing the network generalized Hamming weight ...
APLAS
2007
ACM
14 years 15 days ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...