1174 search results - page 42 / 235 » Derivation of Characteristic Formulae |
137
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes an optimisation to the UK-means algorithm, which generalises the k-means algorithm to handle objects whose locations are uncertain. The location of each object...
135
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
Distributed MIMO technology is an effective way of dealing with the inter-cell interference problem in single frequency wireless communication networks. This paper studies the gene...
115
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
97
Voted
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Fourier series expansion is used to explore the relationship between the coefficients of halfband lowpass and general bandpass FIR digital filters. This relationship is used to de...
120
Voted
ILP
2003
Springer
15 years 9 months ago
2003
Springer
We study several complexity parameters for first order formulas and their suitability for first order learning models. We show that the standard notion of size is not captured by...