3690 search results - page 337 / 738 » Computation with classical sequents |
150
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
We adapt the classic cusum change-point detection algorithm for applications to data network monitoring where various and numerous performance and reliability metrics are availabl...
151
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an interactive visualization, called Table Of Video Contents (TOVC), for browsing structured TV programs such as news, magazines or sports. In these telecasts, getting ...
201
click to vote
ICSNC
2007
IEEE
16 years 1 months ago
2007
IEEE
Wireless sensor networks (WSNs) constitute a new pervasive and ubiquitous technology. They have been successfully used in various application areas and in future computing environ...
167
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— We propose a powerful symmetric kernel classifier for nonlinear detection in challenging rank-deficient multipleantenna aided communication systems. By exploiting the inheren...
153
click to vote
TABLETOP
2007
IEEE
16 years 1 months ago
2007
IEEE
Many tabletop systems have been developed, but few of them deal with the problems of visualizing and manipulating a large amount of information such as files on a tabletop that i...