Sciweavers

627 search results - page 79 / 126
» The Laplace-Jaynes approach to induction
Sort
View
ISCAS
1999
IEEE
106views Hardware» more  ISCAS 1999»
15 years 2 months ago
Repeater insertion in RLC lines for minimum propagation delay
- A closed form expression for the propagation delay of a CMOS gate driving a distributed RLC line is introduced that is within 5% of dynamic circuit simulations for a wide range o...
Yehea I. Ismail, Eby G. Friedman
FLAIRS
2007
15 years 26 days ago
Context-Sensitive MTL Networks for Machine Lifelong Learning
Context-sensitive Multiple Task Learning, or csMTL, is presented as a method of inductive transfer that uses a single output neural network and additional contextual inputs for le...
Daniel L. Silver, Ryan Poirier
ISMB
1993
14 years 12 months ago
Protein Structure Prediction: Selecting Salient Features from Large Candidate Pools
Weintroduce a parallel approach, "DT-SELECT," for selecting features used by inductive learning algorithms to predict protein secondary structure. DT-SELECTis able to ra...
Kevin J. Cherkauer, Jude W. Shavlik
JIIS
2006
119views more  JIIS 2006»
14 years 10 months ago
Answering constraint-based mining queries on itemsets using previous materialized results
Abstract In recent years, researchers have begun to study inductive databases, a new generation of databases for leveraging decision support applications. In this context, the user...
Roberto Esposito, Rosa Meo, Marco Botta
JLP
2007
114views more  JLP 2007»
14 years 10 months ago
Deaccumulation techniques for improving provability
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
Jürgen Giesl, Armin Kühnemann, Janis Voi...