959 search results - page 11 / 192 » Transfers between Logics and their Applications |
TOG
2002
14 years 11 months ago
2002
We introduce a general technique for "colorizing" greyscale images by transferring color between a source, color image and a destination, greyscale image. Although the g...
ESORICS
2009
Springer
16 years 9 days ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Instantaneous Fair Sharing (IFS) is a traditional network ideal prescribing to share the network capacity among competing applications fairly during any infinitesimal time int...
116
click to vote
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
The reality gap, that often makes controllers evolved in simulation inefficient once transferred onto the real system, remains a critical issue in Evolutionary Robotics (ER); it p...
HPCC
2009
Springer
15 years 4 months ago
2009
Springer
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...