Sciweavers

3069 search results - page 289 / 614
» Issues with the construct of quality
Sort
View
TPHOL
1999
IEEE
15 years 11 months ago
Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
Stefan Berghofer, Markus Wenzel
ICSE
1999
IEEE-ACM
15 years 11 months ago
Identifying Objects Using Cluster and Concept Analysis
Many approaches to support (semi-automatic) identification of objects in legacy code take the data structures as starting point for candidate classes. Unfortunately, legacy data ...
Arie van Deursen, Tobias Kuipers
ACCV
1998
Springer
15 years 11 months ago
Shape Modeling from Multiple View Images Using GAs
Shape modeling is a very important issue for many study, for example, object recognition for robot vision, virtual environment construction, and so on. In this paper, a new method...
Satoshi Kirihara, Hideo Saito
COOPIS
1997
IEEE
15 years 11 months ago
An Ontology Tool for Query Formulation in an Agent-Based Context
This paper describes how query formulation can be made simple and less complicated by using ontologies. It takes a brief look at several advantages of using ontologies in a distri...
Kuhanandha Mahalingam, Michael N. Huhns
154
Voted
KDD
1997
ACM
103views Data Mining» more  KDD 1997»
15 years 10 months ago
Fast Committee Machines for Regression and Classification
In many data mining applications we are given a set of training examples and asked to construct a regression machine or a classifier that has low prediction error or low error rat...
Harris Drucker