5804 search results - page 291 / 1161 » Doing more with less |
168
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
164
Voted
IEEEIAS
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a simple modification of the so-called Weighted Stego Image (WS) steganalysis method, due to Fridrich and Goljan, to detect sequential replacement of least significa...
146
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Peer-to-peer file-sharing systems suffer from the overspecification of query results due to the fact that queries are conjunctive and the descriptions of shared files are sparse. ...
151
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. An agent normative society has to deal with two main concerns: how to define norms and how to enforce them. Enforcement becomes a complex issue as agent societies become...
147
click to vote
ARGMAS
2005
Springer
16 years 8 days ago
2005
Springer
Much work in the area of argumentation-based dialogues between agents has been based on the influential taxonomy of dialogue types developed by Walton and Krabbe. In this paper we...