3782 search results - page 350 / 757 » Engineering Social Order |
242
click to vote
SOCO
2011
Springer
15 years 1 months ago
2011
Springer
The paper presents a new steganographic method called RSTEG (retransmission steganography), which is intended for a broad class of protocols that utilises retransmission mechanisms...
332
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
185
click to vote
CCE
2011
14 years 10 months ago
2011
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...
237
click to vote
PAMI
2012
13 years 9 months ago
2012
— This paper addresses the problem of large-scale image search. Three constraints have to be taken into account: search accuracy, efficiency, and memory usage. We first present...
154
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
We consider the problem of visualizing the evolution of tags within the Flickr (flickr.com) online image sharing community. Any user of the Flickr service may append a tag to any ...