Sciweavers

1650 search results - page 11 / 330
» Information Modeling and Higher-order Types
Sort
View
NN
2007
Springer
172views Neural Networks» more  NN 2007»
13 years 7 months ago
A computational neuroscience approach to consciousness
Simultaneous recordings from populations of neurons in the inferior temporal visual cortex show that most of the information about which stimulus was shown is available in the num...
Edmund T. Rolls
LFP
1994
113views more  LFP 1994»
13 years 8 months ago
Collecting More Garbage
We present a method, adapted to polymorphically typed functional languages, to detect and collect more garbage than existing GCs. It can be applied to strict or lazy higher order ...
Pascal Fradet
LFP
1992
140views more  LFP 1992»
13 years 8 months ago
Global Tagging Optimization by Type Inference
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
Fritz Henglein
INFORMS
1998
87views more  INFORMS 1998»
13 years 7 months ago
On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend
Hemant K. Bhargava, Ramayya Krishnan, Peter Piela
CIKM
2007
Springer
13 years 11 months ago
A segment-based hidden markov model for real-setting pinyin-to-chinese conversion
Hidden markov model (HMM) is frequently used for Pinyin-toChinese conversion. But it only captures the dependency with the preceding character. Higher order markov models can brin...
Xiaohua Zhou, Xiaohua Hu, Xiaodan Zhang, Xiajiong ...