2262 search results - page 188 / 453 » Points with large quadrant-depth |
164
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
134
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We study large population stochastic dynamic games where each agent receives influences from multi-classes of agents according to intra- and inter-subpopulation cost coupling....
150
click to vote
PCI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The real world we live in is mostly perceived through an incredibly large collection of views generated by humans, machines, and other systems. This is the view reality. ...
139
click to vote
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
We have assembled a standalone, movable system that can capture long sequences of omnidirectional images (up to 1,500 images at 6.7 Hz and a resolution of 1140 × 1030). The goal ...
192
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—Many scalable reliable multicast protocols use the local repair scheme where certain receivers retransmit packets by other receivers. Such schemes need a mechanism, called messa...