506 search results - page 63 / 102 » Contracts as Pairs of Projections |
IV
2000
IEEE
14 years 19 hour ago
2000
IEEE
Traditional searching and browsing functions for bibliographic databases do no longer enable users to deal efficiently with the rapidly growing number of scientific publications....
CADE
1990
Springer
13 years 11 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
CLEAR
2006
Springer
13 years 11 months ago
2006
Springer
We present an approach for tracking a lecturer during the course of his speech. We use features from multiple cameras and microphones, and process them in a joint particle filter f...
ICPR
2010
IEEE
13 years 9 months ago
2010
IEEE
In this paper, we propose a novel graph embedding method for the problem of lipreading. To characterize the temporal connections among video frames of the same utterance, a new di...
EUROSSC
2008
Springer
13 years 9 months ago
2008
Springer
This article describes a few techniques to transform daily life objects into tactile interfaces, and presents the implementation details for three objects chosen as example: a ligh...