3690 search results - page 354 / 738 » Computation with classical sequents |
166
click to vote
FM
2003
Springer
16 years 1 days ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
150
click to vote
IBPRIA
2003
Springer
16 years 1 days ago
2003
Springer
In this paper the capability of using self-organising neural maps (SOM) as music style classifiers of musical fragments is studied. From MIDI files, the monophonic melody track i...
156
click to vote
ICCS
2003
Springer
16 years 1 days ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
205
click to vote
ICIAP
2003
ACM
16 years 1 days ago
2003
ACM
Object recognition, i. e. classification of objects into one of several known object classes, generally is a difficult task. In this paper we address the problem of detecting an...
184
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
Mining association rules may generate a large numbers of rules making the results hard to analyze manually. Pasquier et al. have discussed the generation of GuiguesDuquenne–Luxe...