218 search results - page 17 / 44 » Composite Binary Losses |
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
FOSSACS
2011
Springer
13 years 2 hour ago
2011
Springer
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
DSN
2004
IEEE
14 years 7 days ago
2004
IEEE
Designing storage systems to provide business continuity in the face of failures requires the use of various data protection techniques, such as backup, remote mirroring, point-in-...
AIR
2005
13 years 8 months ago
2005
Qualitative temporal and spatial reasoning is in many cases based on binary relations such as before, after, starts, contains, contact, part of, and others derived from these by r...
MICCAI
2004
Springer
14 years 1 months ago
2004
Springer
A method for processing images prior to normalized mutual information based registration and an enhancement of the registration measure are presented. The method relies on k-means ...