Sciweavers

6102 search results - page 337 / 1221
» Generating Optimizing Specializers
Sort
View
109
Voted
HCI
2007
15 years 5 months ago
Using Speech Recognition and Intelligent Search Tools to Enhance Information Accessibility
Access to spoken information presents challenges in educational, work, and public settings for many individuals. Speech Recognition technology offers a potential strategy for incre...
Keith Bain, Jason Hines, Pawan Lingras, Yumei Qin
APAL
2006
67views more  APAL 2006»
15 years 3 months ago
Pretopologies and a uniform presentation of sup-lattices, quantales and frames
We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extend...
Giulia Battilotti, Giovanni Sambin
115
Voted
JCT
2007
90views more  JCT 2007»
15 years 3 months ago
Elliptic enumeration of nonintersecting lattice paths
We enumerate lattice paths in the planar integer lattice consisting of positively directed unit vertical and horizontal steps with respect to a specific elliptic weight function. ...
Michael Schlosser
130
Voted
INDOCRYPT
2010
Springer
15 years 1 months ago
One Byte per Clock: A Novel RC4 Hardware
RC4, the widely used stream cipher, is well known for its simplicity and ease of implementation in software. In case of a special purpose hardware designed for RC4, the best known ...
Sourav Sengupta, Koushik Sinha, Subhamoy Maitra, B...
126
Voted
RV
2010
Springer
153views Hardware» more  RV 2010»
15 years 1 months ago
Run-Time Verification of Networked Software
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
Cyrille Valentin Artho