3179 search results - page 183 / 636 » Applications of PCF Theory |
ISI
2008
Springer
13 years 8 months ago
2008
Springer
This talk deals with advanced concepts of Artificial Intelligence (AI) and Pattern Recognition (PR), and their applications to solving real life problems including biometrics appl...
EUROSEC
2009
ACM
14 years 5 months ago
2009
ACM
We present application-based TCP hijacking (ABTH), a new attack on TCP applications that exploits flaws due to the interplay between TCP and application protocols to inject data ...
Lecture Notes
These notes cover several topics such as Predicting Asset Returns, Linear Factor Model, Linear Factor Models in SDF Form, Consumption-Based Asset Pricing, Riskneutral Distributions...
MICCAI
2003
Springer
14 years 11 months ago
2003
Springer
Abstract. In this note, we present a method for flattening anatomical surfaces such as branched vessels and intestinal tracts in an areapreserving way. This method is based on the ...
CADE
2001
Springer
14 years 10 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...