Sciweavers

6047 search results - page 122 / 1210
» Modeling with Extend
Sort
View
WLP
2005
Springer
15 years 7 months ago
Level Mapping Characterizations of Selector Generated Models for Logic Programs
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
Pascal Hitzler, Sibylle Schwarz
FSE
2006
Springer
121views Cryptology» more  FSE 2006»
15 years 5 months ago
The Ideal-Cipher Model, Revisited: An Uninstantiable Blockcipher-Based Hash Function
The Ideal-Cipher Model of a blockcipher is a well-known and widely-used model dating back to Shannon [24] and has seen frequent use in proving the security of various cryptographi...
John Black
ICASSP
2011
IEEE
14 years 5 months ago
Multi-class Model M
Model M, a novel class-based exponential language model, has been shown to significantly outperform word n-gram models in state-of-the-art machine translation and speech recognit...
Ahmad Emami, Stanley F. Chen
IJCNN
2000
IEEE
15 years 6 months ago
Bi-Causal Recurrent Cascade Correlation
Recurrent neural networks fail to deal with prediction tasks which do not satisfy the causality assumption. We propose to exploit bi-causality to extend the Recurrent Cascade Corr...
Alessio Micheli, Diego Sona, Alessandro Sperduti
PPOPP
2010
ACM
15 years 11 months ago
Modeling advanced collective communication algorithms on cell-based systems
This paper presents and validates performance models for a variety of high-performance collective communication algorithms for systems with Cell processors. The systems modeled in...
Qasim Ali, Samuel P. Midkiff, Vijay S. Pai