4460 search results - page 873 / 892 » Formal methods for interactive systems |
CVPR
1998
IEEE
14 years 9 months ago
1998
IEEE
We present an approach to real-time person tracking in crowded and/or unknown environments using multi-modal integration. We combine stereo, color, and face detection modules into...
VIS
2008
IEEE
14 years 8 months ago
2008
IEEE
Professional designers and artists are quite cognizant of the rules that guide the design of effective color palettes, from both aesthetic and attention-guiding points of view. In ...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
Source Code
The CImg Library is an open source, C++ toolkit for image processing, designed with these properties in mind :
Usefulness
CImg defines classes and methods to manage images in y...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Twitter, a popular microblogging service, has received much attention recently. An important characteristic of Twitter is its real-time nature. For example, when an earthquake occ...