Sciweavers

TKDE
2002
141views more  TKDE 2002»
13 years 3 months ago
Algorithms for Finding Attribute Value Group for Binary Segmentation of Categorical Databases
We consider the problem of finding a set of attribute values that give a high quality binary segmentation of a database. The quality of a segmentation is defined by an objective fu...
Yasuhiko Morimoto, Takeshi Fukuda, Takeshi Tokuyam...
APAL
2007
75views more  APAL 2007»
13 years 3 months ago
Decidability of the theory of modules over commutative valuation domains
We prove that, if V is an effectively given commutative valuation domain such that its value group is dense and archimedean, then the theory of all V -modules is decidable.
Gennadi Puninski, Vera Puninskaya, Carlo Toffalori