Sciweavers

1578 search results - page 26 / 316
» Induction of Stable Models
Sort
View
JSYML
2002
40views more  JSYML 2002»
13 years 7 months ago
Forcing and Stable Ordered-Union Ultrafilters
We investigate the effect of a variant of Matet forcing on ultrafilters in the ground model and give a characterization of those P
Todd Eisworth
IRI
2003
IEEE
14 years 25 days ago
AnyLog stable design pattern
— The AnyLog pattern models the core knowledge of any Log, as a written record. The Log finds extensive use in the computing industry. The pattern makes it easy to model differen...
Mohamed E. Fayad, Jayashree Rajagopalan, Anita Ran...
ICCBR
2005
Springer
14 years 1 months ago
CBR for Modeling Complex Systems
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
Rosina Weber, Jason M. Proctor, Ilya Waldstein, An...
DAC
2005
ACM
13 years 9 months ago
Spatially distributed 3D circuit models
Spatially distributed 3D circuit models are extracted with a segmentto-segment BEM (Boundary Element Method) algorithm for both capacitance and inverse inductance couplings rather...
Michael W. Beattie, Hui Zheng, Anirudh Devgan, Byr...
ACL
2010
13 years 5 months ago
Phylogenetic Grammar Induction
We present an approach to multilingual grammar induction that exploits a phylogeny-structured model of parameter drift. Our method does not require any translated texts or token-l...
Taylor Berg-Kirkpatrick, Dan Klein