Sciweavers

19936 search results - page 56 / 3988
» Inductive process modeling
Sort
View
APLAS
2007
ACM
15 years 6 months ago
Mixed Inductive/Coinductive Types and Strong Normalization
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
Andreas Abel
VLSID
2006
IEEE
83views VLSI» more  VLSID 2006»
16 years 2 months ago
Parasitic Aware Routing Methodology Based on Higher Order RLCK Moment Metrics
In the multi-GHz frequency domain, inductive and capacitive parasitics of interconnects can cause significant 'ringing' or overdamping, which may lead to false switching...
Amitava Bhaduri, Ranga Vemuri
IAT
2007
IEEE
15 years 8 months ago
Training Intelligent Agents in the Semantic Web Era: The Golf Advisor Agent
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
Ioannis N. Athanasiadis
BTW
1999
Springer
145views Database» more  BTW 1999»
15 years 6 months ago
A Multi-Tier Architecture for High-Performance Data Mining
Data mining has been recognised as an essential element of decision support, which has increasingly become a focus of the database industry. Like all computationally expensive data...
Ralf Rantzau, Holger Schwarz
124
Voted
KDD
1995
ACM
227views Data Mining» more  KDD 1995»
15 years 6 months ago
Applying a Data Miner To Heterogeneous Schema Integration
Anapplication of data miningtechniques to heterogeneous database schemaintegration is introduced. We use attribute-oriented induction to minefor characteristic and classification ...
Son Dao, Brad Perry