5550 search results - page 573 / 1110 » Different Approaches to Proof Systems |
223
click to vote
PUC
2010
15 years 2 months ago
2010
Abstract Gestures are an important modality for human-machine communication. Computer vision modules performing gesture recognition can be important components of intelligent homes...
202
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
232
click to vote
MST
2011
15 years 2 months ago
2011
In this paper we generalize the Continuous Adversarial Queuing Theory (CAQT) model [5] by considering the possibility that the router clocks in the network are not synchronized. W...
198
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
Traffic smoothing for delivery of online VBR media streams is one of the most important problems in designing multimedia systems. Given available client buffer and a window-slidin...
118
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper proposes a new technique for computing the distance to an unknown planar surface and, at the same time, estimating the material of the surface through the use of low-co...