4477 search results - page 875 / 896 » Applications and Environments for Multi-agent Systems |
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
Statistical background modelling and subtraction has proved to be a popular and effective class of algorithms for segmenting independently moving foreground objects out from a sta...
ICDE
2006
IEEE
14 years 8 months ago
2006
IEEE
Emerging applications in sensor systems and network-wide IP traffic analysis present many technical challenges. They need distributed monitoring and continuous tracking of events....
GIS
2004
ACM
14 years 8 months ago
2004
ACM
Aerial video provides strong cues for automatic road extraction that are not available in static aerial images. Using stabilized (or geo-referenced) video data, capturing the dist...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
While overall bandwidth in the internet has grown rapidly over the last few years, and an increasing number of clients enjoy broadband connectivity, many others still access the i...