55 search results - page 5 / 11 » The Must Preorder Revisited |
JLP
2008
14 years 11 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper revisits the multi-robot boundary coverage problem in which a group of k robots must inspect every point on the boundary of a 2-dimensional environment. We f...
COGSR
2011
14 years 6 months ago
2011
Experiments on visual search have demonstrated the existence of a relatively large and reliable memory for which objects have been fixated; an indication of this memory is that re...
105
click to vote
PAM
2009
Springer
15 years 6 months ago
2009
Springer
Internet routers’ forwarding tables (FIBs), which must be stored in expensive fast memory for high-speed packet forwarding, are growing quickly in size due to increased multihomi...
IH
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Dittmann, Katzenbeisser, Schallhart and Veith (IACR ePrint 2004) introduced the notion of invertible media authentication schemes, embedding authentication data in media ...