Sciweavers

8669 search results - page 1410 / 1734
» Computing matrix representations
Sort
View
ATAL
2005
Springer
15 years 9 months ago
Allocation of indivisible goods: a general model and some complexity results
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
Sylvain Bouveret, Michel Lemaître, Hé...
AVBPA
2005
Springer
315views Biometrics» more  AVBPA 2005»
15 years 9 months ago
Multi-resolution Histograms of Local Variation Patterns (MHLVP) for Robust Face Recognition
This paper presents a novel approach to face recognition, named Multi-resolution Histograms of Local Variation Patterns (MHLVP), in which face images are represented as the concate...
Wenchao Zhang, Shiguang Shan, Hongming Zhang, Wen ...
125
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
Formal Software Development in MAYA
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
Dieter Hutter, Serge Autexier
BIRTHDAY
2005
Springer
15 years 9 months ago
Objective Bayesian Nets
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
Jon Williamson
138
Voted
CASC
2005
Springer
113views Mathematics» more  CASC 2005»
15 years 9 months ago
Real Solving of Bivariate Polynomial Systems
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
Ioannis Z. Emiris, Elias P. Tsigaridas
« Prev « First page 1410 / 1734 Last » Next »