Sciweavers

499 search results - page 18 / 100
» Constructive Induction by Analogy
Sort
View
BMCBI
2008
189views more  BMCBI 2008»
13 years 7 months ago
AnEnPi: identification and annotation of analogous enzymes
Background: Enzymes are responsible for the catalysis of the biochemical reactions in metabolic pathways. Analogous enzymes are able to catalyze the same reactions, but they prese...
Thomas D. Otto, Ana Carolina R. Guimarães, ...
FORMATS
2007
Springer
14 years 1 months ago
AMT: A Property-Based Monitoring Tool for Analog Systems
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
Dejan Nickovic, Oded Maler
FOCM
2007
54views more  FOCM 2007»
13 years 7 months ago
Smooth and Algebraic Invariants of a Group Action: Local and Global Constructions
We provide an algebraic formulation of the moving frame method for constructing local smooth invariants on a manifold under an action of a Lie group. This formulation gives rise t...
Evelyne Hubert, Irina A. Kogan
EURODAC
1995
IEEE
156views VHDL» more  EURODAC 1995»
13 years 11 months ago
KANDIS - a tool for construction of mixed analog/digital systems
The synthesis of electronic circuits on system level o ers the possibility to nd better locations of the A/D interfaces and to determine parameters like clock rates and bit widths...
Peter Oehler, Christoph Grimm, Klaus Waldschmidt
IJCAI
1993
13 years 9 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