5695 search results - page 897 / 1139 » Using Many Cameras as One |
187
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Sponsored search is one of the major sources of revenue for search engines on the World Wide Web. It has been observed that while showing ads for every query maximizes shortterm r...
193
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
154
click to vote
COMPCON
1995
IEEE
15 years 10 months ago
1995
IEEE
A link is an unreliable FIFO channel. As we mentioned earlier, it is an abstraction of a point-topoint wire or of a simple broadcast LAN. It is unreliable because noise or other ph...
198
click to vote
ISCA
1995
IEEE
15 years 10 months ago
1995
IEEE
Communicationin aparallel systemfrequently involvesmoving data from the memory of one node to the memory of another; this is the standard communication model employedin message pa...
309
click to vote
CIVR
2010
Springer
15 years 10 months ago
2010
Springer
The human face is one of the most important objects in videos since it provides rich information for spotting certain people of interest, such as government leaders in news video,...