5829 search results - page 995 / 1166 » The Practice of Cluster Analysis |
216
click to vote
ISSAC
1997
Springer
15 years 8 months ago
1997
Springer
Gaussian elimination is the basis for classical algorithms for computing canonical forms of integer matrices. Experimental results have shown that integer Gaussian elimination may...
141
Voted
PDIS
1994
IEEE
15 years 8 months ago
1994
IEEE
To help users cope with information overload, Selective Dissemination of Information SDI will increasingly become an important tool in wide area information systems. In an SDI ser...
129
click to vote
HYBRID
1994
Springer
15 years 8 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
113
click to vote
KDD
1994
ACM
15 years 8 months ago
1994
ACM
: Weexemplify in this paper, howa discovery system is applied to the analysis of simulation experimentsin practical political planning, andshowwhatkind of newknowledgecan be discov...
102
click to vote
RTA
1993
Springer
15 years 8 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...