Sciweavers

1888 search results - page 164 / 378
» Proof theory and computational analysis
Sort
View
PODC
2009
ACM
16 years 1 months ago
Brief announcement: collaborative measurement of upload speeds in P2P systems
We define and study the bandwidth determination problem in adhoc P2P environments. Using point-to-point bandwidth probes, the goal is to quickly determine each host's upload ...
John R. Douceur, James W. Mickens, Thomas Moscibro...
117
Voted
HCI
2009
14 years 10 months ago
People-Oriented Programming: From Agent-Oriented Analysis to the Design of Interactive Systems
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...
Steve Goschnick
97
Voted
ECCV
1998
Springer
16 years 2 months ago
The Role of Total Least Squares in Motion Analysis
Abstract. The main goal of this paper is to put well-established techniques for two-view motion analysis in the context of the theory of Total Least Squares and to make clear that ...
Matthias Mühlich, Rudolf Mester
CHI
2009
ACM
16 years 1 months ago
Scientometric analysis of the CHI proceedings
The CHI conference has grown rapidly over the last 26 years. We present a quantitative analysis on the countries and organizations that contribute to its success. Only 7.8 percent...
Christoph Bartneck, Jun Hu
142
Voted
CVPR
2009
IEEE
15 years 4 months ago
Nonlinear Nonnegative Component Analysis
In this paper general solutions for Nonlinear Nonnegative Component Analysis for data representation and recognition are proposed. That is, motivated by a combination of the Nonne...
Stefanos Zafeiriou, Maria Petrou