Sciweavers

1607 search results - page 233 / 322
» The existence of k-radius sequences
Sort
View
ATAL
2005
Springer
14 years 2 months ago
Formalizing and achieving multiparty agreements via commitments
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
Feng Wan, Munindar P. Singh
AVBPA
2005
Springer
267views Biometrics» more  AVBPA 2005»
14 years 2 months ago
Experiments in Mental Face Retrieval
Abstract. We propose a relevance feedback system for retrieving a mental face picture from a large image database. This scenario differs from standard image retrieval since the ta...
Yuchun Fang, Donald Geman
CASC
2005
Springer
113views Mathematics» more  CASC 2005»
14 years 2 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
EUROPAR
2005
Springer
14 years 2 months ago
Event-Based Measurement and Analysis of One-Sided Communication
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
Marc-André Hermanns, Bernd Mohr, Felix Wolf
FORMATS
2005
Springer
14 years 2 months ago
Quantifying Similarities Between Timed Systems
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Pr...