Sciweavers

5246 search results - page 104 / 1050
» Sanitization models and their limitations
Sort
View
BC
2006
83views more  BC 2006»
14 years 11 months ago
An Algorithmic Method for Reducing Conductance-based Neuron Models
Although conductance-based neural models provide a realistic depiction of neuronal activity, their complexity often limits effective implementation and analysis. Neuronal model red...
Michael E. Sorensen, Stephen P. DeWeerth
ALT
2006
Springer
15 years 8 months ago
Iterative Learning from Positive Data and Negative Counterexamples
A model for learning in the limit is defined where a (so-called iterative) learner gets all positive examples from the target language, tests every new conjecture with a teacher ...
Sanjay Jain, Efim B. Kinber
IALP
2009
14 years 9 months ago
Improved Reordering Rules for Hierarchical Phrase-Based Translation
Hierarchical phrase-based translation model has been proven to be a simple and powerful machine translation model. However, due to the computational complexity constraints, the ext...
Shu Cai, Yajuan Lü, Qun Liu
NAACL
2010
14 years 9 months ago
A Simple Approach for HPSG Supertagging Using Dependency Information
In a supertagging task, sequence labeling models are commonly used. But their limited ability to model long-distance information presents a bottleneck to make further improvements...
Yao-zhong Zhang, Takuya Matsuzaki, Jun-ichi Tsujii
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 5 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...