2702 search results - page 328 / 541 » Practically Applicable Formal Methods |
106
Voted
FOCM
2011
14 years 6 months ago
2011
By definition, transverse intersections are stable under infinitesimal perturbations. Using persistent homology, we extend this notion to a measure. Given a space of perturbatio...
161
click to vote
AIME
2011
Springer
14 years 2 months ago
2011
Springer
Representing the Foundational Model of Anatomy (FMA) in OWL 2 is essential for semantic interoperability. The paper describes the method and tool used to formalize the FMA in OWL 2...
137
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
—For a long time, signal processing applications, and most particularly detection and parameter estimation methods, have relied on the limiting behaviour of test statistics and e...
123
Voted
IACR
2011
14 years 2 months ago
2011
We give new methods for generating and using “strong trapdoors” in cryptographic lattices, which are simultaneously simple, efficient, easy to implement (even in parallel), a...
104
Voted
CIDM
2007
IEEE
15 years 6 months ago
2007
IEEE
Kernel methods are effective approaches to the modeling of structured objects in learning algorithms. Their major drawback is the typically high computational complexity of kernel ...