Sciweavers

TKDE
2002
141views more  TKDE 2002»
13 years 11 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 11 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