Sciweavers

630 search results - page 45 / 126
» Symbolic Domain Decomposition
Sort
View
85
Voted
AAAI
1997
15 years 2 months ago
Tools for Assembling Modular Ontologies in Ontolingua
The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular reusable ontologies. The environment is available as a World ...
Richard Fikes, Adam Farquhar, James Rice
108
Voted
IJCAI
1993
15 years 2 months ago
Induction of Oblique Decision Trees
This article describes a new system for induction of oblique decision trees. This system, OC1, combines deterministic hill-climbing with two forms of randomization to nd a good ob...
David G. Heath, Simon Kasif, Steven Salzberg
99
Voted
EOR
2007
88views more  EOR 2007»
15 years 19 days ago
The geometry and number of the root invariant regions for linear systems
The stability domain is a feasible set for numerous optimization problems. D-decomposition technique is targeted to describe the stability domain in the parameter space for linear...
Elena N. Gryazina
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
15 years 4 months ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm
107
Voted
ISCAS
2006
IEEE
121views Hardware» more  ISCAS 2006»
15 years 6 months ago
A frequency domain based TEQ design for DSL systems
that the equivalent channel is approximately an impulse. In [7], Martin et al. propose a globally convergent blind adap-In this paper, we propose a frequency domain based de- tive ...
Yuan-Pei Lin, Yu-Pin Lin, See-May Phoong