5215 search results - page 301 / 1043 » A model of normative power |
196
Voted
KDD
1995
ACM
15 years 11 months ago
1995
ACM
We develop,in the context of discriminantanalysis,a generalapproachto the designof neuralarchitectures. It consistsin building a neuralnet ‘around’a statistical model family; ...
190
Voted
ASM
2008
ASM
15 years 9 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
220
Voted
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
203
click to vote
NAACL
2007
15 years 8 months ago
2007
We present a joint morphological-lexical language model (JMLLM) for use in statistical machine translation (SMT) of language pairs where one or both of the languages are morpholog...
279
Voted
PTS
2007
15 years 8 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...