Sciweavers

13913 search results - page 351 / 2783
» models 2007
Sort
View
NIPS
2000
15 years 9 months ago
Hippocampally-Dependent Consolidation in a Hierarchical Model of Neocortex
In memory consolidation, declarative memories which initially require the hippocampus for their recall, ultimately become independent of it. Consolidation has been the focus of nu...
Szabolcs Káli, Peter Dayan
AEI
1999
60views more  AEI 1999»
15 years 7 months ago
Rule-base content verification using a digraph-based modelling approach
Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors...
G. S. Gursaran, S. Kanungo, A. K. Sinha
FORTE
2004
15 years 9 months ago
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...
DAGSTUHL
2006
15 years 9 months ago
Modeling and Aspect Weaving
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
Jean-Marc Jézéquel
ACL
2003
15 years 9 months ago
Effective Phrase Translation Extraction from Alignment Models
Phrase level translation models are effective in improving translation quality by addressing the problem of local re-ordering across language boundaries. Methods that attempt to f...
Ashish Venugopal, Stephan Vogel, Alex Waibel