19936 search results - page 16 / 3988 » Inductive process modeling |
IJFCS
2006
13 years 6 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
ASPDAC
2005
ACM
13 years 8 months ago
2005
ACM
Abstract— The sparsification of the reluctance matrix L−1 (where L denotes the usual inductance matrix L) has been widely used in several recent investigations to make the pro...
ICCD
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Capacitive and inductive crosstalk noises are expected to be more serious in advanced technologies. However, capacitive and inductive crosstalk noises in the future hav...
NLPRS
2001
Springer
13 years 11 months ago
2001
Springer
This work extends a semi-automatic grammar induction approach previously proposed in [1]. We investigate the use of Information Gain (IG) in place of Mutual Information (MI) for g...
IJCAI
1989
13 years 8 months ago
1989
N IN AN ABSTRACTION SPACE: A Form of Constructive Induction George Drastal and Gabor Czako Siemens Research and Technology Laboratories 755 College Rd Princeton, NJ 08540 We repor...