7890 search results - page 422 / 1578 » The MathSAT 3 System |
188
click to vote
ICA3PP
2007
Springer
16 years 29 days ago
2007
Springer
We propose a source peer selection algorithm which efficiently chooses peers as sources from a set of peers having the requested file in a hybrid P2P file sharing system. Our propo...
158
click to vote
ICMCS
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper, we propose a system for automatic judgment of offsides in soccer games. We detect and track players in fixed multi camera images and calculate the world coordinates...
146
Voted
3DIM
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper proposes a “non-contact virtual clay modeling interface.” We developed a prototype of a three-dimensional modeling system that allows the user to deform the “virt...
164
click to vote
RTA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper is a contribution to the long standing open problem of uniform termination of Semi-Thue Systems that consist of one rule s → t. McNaughton previously showed ...
149
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
This research proposes a picture card dictionary authoring system to support young language learners perform communicative tasks using daily-life words, without teaching them the ...