3690 search results - page 467 / 738 » Computation with classical sequents |
180
click to vote
ICCV
2005
IEEE
16 years 9 days ago
2005
IEEE
We present an approach to detecting and recognizing spoken isolated phrases based solely on visual input. We adopt an architecture that first employs discriminative detection of ...
193
click to vote
ICCV
2005
IEEE
16 years 9 days ago
2005
IEEE
We propose a new method to estimate multiple rigid motions from noisy 3D point correspondences in the presence of outliers. The method does not require prior specification of num...
170
click to vote
ICDCSW
2005
IEEE
16 years 9 days ago
2005
IEEE
Anomaly detection in IP networks, detection of deviations from what is considered normal, is an important complement to misuse detection based on known attack descriptions. Perfor...
127
click to vote
ICPADS
2005
IEEE
16 years 8 days ago
2005
IEEE
Point-to-point transmissions represent a fundamental primitive in any communication network. Despite many proave appeared in the literature, providing an efficient implementation ...
158
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...