1116 search results - page 215 / 224 » Applying Predicate Abstraction to Abstract State Machines |
PROVSEC
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...
DOLAP
2007
ACM
15 years 3 months ago
2007
ACM
ss domain. Using this more abstract approach means that more data sources of varying types can be incorporated with less effort, and such heterogeneous data sources might be very r...
100
click to vote
EUROPAR
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Current approaches to parallel I/O demand extensive user effort to obtain acceptable performance. This is in part due to difficulties in understanding the characteristics...
AIME
2009
Springer
15 years 4 days ago
2009
Springer
Abstract. The paper proposes a learning approach to support medical researchers in the context of in-vivo cancer imaging, and specifically in the analysis of Dynamic Contrast-Enhan...
101
click to vote
TIFS
2008
14 years 11 months ago
2008
Abstract--Statistical pattern recognition techniques have recently been shown to provide a finer balance between misdetections and false alarms than the more conventional intrusion...