Sciweavers

10213 search results - page 1677 / 2043
» An Experimental Analysis of Parallel
Sort
View
ROBOCUP
1999
Springer
107views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
The RoboCup-98 Teamwork Evaluation Session: A Preliminary Report
Abstract. Increasingly, agent teams are used in realistic and complex multiagent environments. In such environments, dynamic and complex changes in the environment require appropri...
Gal A. Kaminka
SCALESPACE
1999
Springer
15 years 11 months ago
Fast Marching to Moving Object Location
In this paper we address two important problems in motion analysis: the detection of moving objects and their localization. Statistical and level set approaches are adopted in orde...
Eftychios Sifakis, George Tziritas
KBSE
1998
IEEE
15 years 11 months ago
Planning Equational Verification in CCS
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
Raul Monroy, Alan Bundy, Ian Green
CSCW
1998
ACM
15 years 11 months ago
Using Filtering Agents to Improve Prediction Quality in the GroupLens Research Collaborative Filtering System
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
Badrul M. Sarwar, Joseph A. Konstan, Al Borchers, ...
ISPD
1998
ACM
101views Hardware» more  ISPD 1998»
15 years 11 months ago
Greedy wire-sizing is linear time
—The greedy wire-sizing algorithm (GWSA) has been experimentally shown to be very efficient, but no mathematical analysis on its convergence rate has ever been reported. In this...
Chris C. N. Chu, D. F. Wong
« Prev « First page 1677 / 2043 Last » Next »