Sciweavers

16218 search results - page 255 / 3244
» Standards
Sort
View
ICFP
2010
ACM
15 years 7 months ago
Combining syntactic and semantic bidirectionalization
Matsuda et al. [2007, ICFP] and Voigtl
Janis Voigtländer, Zhenjiang Hu, Kazutaka Mat...
CCS
2010
ACM
15 years 6 months ago
Practical leakage-resilient identity-based encryption from simple assumptions
We provide new constructions of Leakage-Resilient IdentityBased Encryption systems (IBE) in the Standard model. We apply a hash proof technique in the existing IBE schemes of Bone...
Sherman S. M. Chow, Yevgeniy Dodis, Yannis Rousela...
145
Voted
AAMAS
2008
Springer
15 years 6 months ago
Technology diffusion: analysing the diffusion of agent technologies
Despite several examples of deployed agent systems, there remain barriers to the large-scale adoption of agent technologies. In order to understand these barriers, this paper consi...
Jez McKean, Hayden Shorter, Michael Luck, Peter Mc...
ACTA
2007
54views more  ACTA 2007»
15 years 6 months ago
On the tree-transformation power of XSLT
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in tran
Wim Janssen, Alexandr Korlyukov, Jan Van den Bussc...
BMCBI
2008
88views more  BMCBI 2008»
15 years 6 months ago
Use of machine learning algorithms to classify binary protein sequences as highly-designable or poorly-designable
Background: By using a standard Support Vector Machine (SVM) with a Sequential Minimal Optimization (SMO) method of training, Na
Myron Peto, Andrzej Kloczkowski, Vasant Honavar, R...