Sciweavers

2390 search results - page 279 / 478
» Architectural Views and Alternatives
Sort
View
COMPUTER
2006
87views more  COMPUTER 2006»
15 years 6 months ago
What Can We Expect from Program Verification?
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
Michael Jackson
CSL
2006
Springer
15 years 6 months ago
Product of Gaussians for speech recognition
Recently there has been interest in the use of classifiers based on the product of experts (PoE) framework. PoEs offer an alternative to the standard mixture of experts (MoE) fram...
M. J. F. Gales, S. S. Airey
FS
2006
135views more  FS 2006»
15 years 6 months ago
Asymmetric Information in Fads Models
Fads models were introduced by Shiller (1984) and Summers (1986) as plausible alternatives to the efficient markets/constant expected returns assumptions. Under these models, loga...
Paolo Guasoni
IJNSEC
2008
150views more  IJNSEC 2008»
15 years 6 months ago
Tamper Resistant Software Through Intent Protection
One approach to protect distributed systems implemented with mobile code is through program obfuscation. Disguising program intent is a form of information hiding that facilitates...
Alec Yasinsac, J. Todd McDonald
CORR
2007
Springer
79views Education» more  CORR 2007»
15 years 6 months ago
Logic Meets Algebra: the Case of Regular Languages
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
Pascal Tesson, Denis Thérien