Sciweavers

3009 search results - page 157 / 602
» The Expressive Rate of Constraints
Sort
View
96
Voted
NAACL
1994
15 years 2 months ago
Speech Recognition Using a Stochastic Language Model Integrating Local and Global Constraints
In this paper, we propose a new stochastic language model that integrates local and global constraints effectively and describe a speechrecognition system basedon it. Theproposedl...
Ryosuke Isotani, Shoichi Matsunaga
109
Voted
ICC
2008
IEEE
137views Communications» more  ICC 2008»
15 years 7 months ago
Reliability of Connections in Multilayer Networks under Shared Risk Groups and Costs Constraints
The notion of Shared Risk Resource Groups (SRRG) has been introduced to capture survivability issues when a set of resources may fail simultaneously. Applied to Wavelength Divisio...
David Coudert, Florian Huc, Fabrice Peix, Marie-Em...
LPAR
2007
Springer
15 years 7 months ago
Verifying Cryptographic Protocols with Subterms Constraints
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
WISE
2003
Springer
15 years 6 months ago
ProxyTeller: A Proxy Placement Tool for Content Delivery under Performance Constraints
The efficient delivery of web content has been identified as a key issue of research for some time. Forward (or reverse) proxies, which are positioned along the request route from...
Peter Triantafillou, Ioannis Aekaterinidis
101
Voted
RE
2001
Springer
15 years 5 months ago
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
Margaret H. Smith, Gerard J. Holzmann, Kousha Etes...