Sciweavers

6047 search results - page 122 / 1210
» Modeling with Extend
Sort
View
WLP
2005
Springer
15 years 11 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 10 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 10 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 10 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
16 years 3 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